The Zarith library implements arithmetic and logical operations over arbitrary-precision integers. This project was moved to http://github.com/ocaml/Zarith/