num
API
Library num.core
Arith_statusFlags that control rational arithmetic.Big_intOperations on arbitrary-precision integers.NatNumOperation on arbitrary-precision numbers.RatioOperation on rational numbers.
Arith_status Flags that control rational arithmetic.Big_int Operations on arbitrary-precision integers.Nat Num Operation on arbitrary-precision numbers.Ratio Operation on rational numbers.