OCaml interface to the GMP library
