integer.to_big_integer

pure function to_big_integer(): big_integer

Convert this integer to a big integer.

Since 0.12.0