Summary: Arithmetic and logical operations over arbitrary-precision integers

Description:
The Zarith library implements arithmetic and logical operations
over arbitrary-precision integers. It uses GMP to efficiently
implement arithmetic over big integers. Small integers are
represented as Caml unboxed integers, for speed and space economy.

URL: http://forge.ocamlcore.org/projects/zarith/
License: LGPL with static compilation exception

Maintainer: nobody