num

API

Library num.core

• 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.

Library num_top

No module.

Library nums

• 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.