Toy project using OCaml and GMP