big_integer.to_integer

pure function to_integer(): integer

Convert this big_integer to an integer.

Throws

• exception — if this big_integer is outside integer range

Since 0.12.0