The CAML numbers reference manual
Abstract
This is the reference manual for the arithmetic of the functional language CAML V3.1. It is available by anonymous ftp from ftp.inria.fr. as a compressed PostScript file lang/caml/V3.1/doc arith.tar.z. This arithmetic includes floating point numbers, arbitrary large integers and rationals, and a complete set of primitives. Its implementation relies on the efficient BigNum package.