Arbitrary precision in OCaml requires linking against nums.cma, I am wondering if this is done? AFAICT, there is no source level link pragma for the language.
Cóż, nie doczytałem tego. Przykładowy test:
1000000/1 * 1000000/1
Twój program zwraca:
-727379968/1
Poza tym przynajmniej u mnie Twój program wczytuje dane w nieskończoność.