GMP binding for OCaml