OCaml legacy Num library for arbitrary-precision arithmetic