let
ints_of_num q = (
Z
.to_string (
Q
.numerator q),
Z
.to_string (
Q
.denominator q))