The Numerix library provides unlimited precision integer arithmetic
facilities for use in OCaml programs. This package contains all the
libraries and headers that are needed to build programs that use the
OCaml interface to Numerix.
Numerix is a library implementing arbitrary long signed integers and
the usual arithmetic operations between those numbers. The
algorithms and native (C and assembly) code implementations in
Numerix compare well to the other multi-precision libraries commonly
available, especially Big (the adaptation of BigNum for
Camllight/Ocaml) and GMP. Also, OCaml programmers are likely to find
the Numerix API more natural and more complete than BigNum / Nat,
especially for modular arithmetic applications such as cryptography.
Several implementations of the low-level primitives are provided,
including one that uses BigNum and one that uses GMP.