Arbitrary-precision integers for OCaml
