These functions raises Z.Overflow instead of Failure when the integer is too big
to be represented as an ocaml integer.