2 ms·

So that overflow example, is undefined behaviour. Probably not a great thing to introduce into OCaml types.