`sig
external ( +/ ) : Gmp.Q.t -> Gmp.Q.t -> Gmp.Q.t = "_mlgmp_q_add"
external ( -/ ) : Gmp.Q.t -> Gmp.Q.t -> Gmp.Q.t = "_mlgmp_q_sub"
external ( */ ) : Gmp.Q.t -> Gmp.Q.t -> Gmp.Q.t = "_mlgmp_q_mul"
external ( // ) : Gmp.Q.t -> Gmp.Q.t -> Gmp.Q.t = "_mlgmp_q_div"
val ( </ ) : Gmp.Q.t -> Gmp.Q.t -> bool
val ( <=/ ) : Gmp.Q.t -> Gmp.Q.t -> bool
val ( =/ ) : Gmp.Q.t -> Gmp.Q.t -> bool
val ( >=/ ) : Gmp.Q.t -> Gmp.Q.t -> bool
val ( >/ ) : Gmp.Q.t -> Gmp.Q.t -> bool
val ( <>/ ) : Gmp.Q.t -> Gmp.Q.t -> bool
end`