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