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