let
ceil x =
Gmp41
.
Z
.cdiv_q (
Q
.get_num x) (
Q
.get_den x)