FUNCTION

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

© 2026 Chromia