let
is_integer q = (
Gmp41
.
Z
.cmp_si (
Q
.get_den q) 1) = 0