let
floor x =
Gmp41
.
Z
.fdiv_q (
Q
.get_num x) (
Q
.get_den x)