let
num_of_ints i1 i2 =
Q
.div (num_of_int i1) (num_of_int i2)