big_integer.to_decimal

pure function to_decimal(): decimal

Convert this big_integer to a decimal.

Since 0.12.0