Specialization of Funarith algorithms for Zarith (OCaml efficient wrapper around GMP).