[Stdlib] Uses native Zarith to_int functions.

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