bigdecimal
Arbitrary-precision decimal based on Zarith
Description
A high-precision representation of decimal numbers as [mantissa * 10^exponent], where the mantissa is internally a [Bigint.t] and the exponent is an [int].