sig
  type 'a tt = 'a Mpq.tt
  type t = Mpq.f Mpqf.tt
  val to_mpq : Mpqf.t -> 'a Mpq.tt
  val of_mpq : 'a Mpq.tt -> Mpqf.t
  val _mpq : Mpqf.t -> Mpq.t
  val _mpqf : Mpq.t -> Mpqf.t
  val print : Format.formatter -> 'a Mpqf.tt -> unit
  val of_string : string -> Mpqf.t
  val of_float : float -> Mpqf.t
  val of_int : int -> Mpqf.t
  val of_frac : int -> int -> Mpqf.t
  val of_mpz : 'a Mpz.tt -> Mpqf.t
  val of_mpz2 : 'a Mpz.tt -> 'b Mpz.tt -> Mpqf.t
  val to_string : 'a Mpqf.tt -> string
  val to_float : 'a Mpqf.tt -> float
  val to_mpzf2 : 'a Mpqf.tt -> Mpzf.t * Mpzf.t
  val add : 'a Mpqf.tt -> 'b Mpqf.tt -> Mpqf.t
  val sub : 'a Mpqf.tt -> 'b Mpqf.tt -> Mpqf.t
  val mul : 'a Mpqf.tt -> 'b Mpqf.tt -> Mpqf.t
  val div : 'a Mpqf.tt -> 'b Mpqf.tt -> Mpqf.t
  val neg : 'a Mpqf.tt -> Mpqf.t
  val abs : 'a Mpqf.tt -> Mpqf.t
  val inv : 'a Mpqf.tt -> Mpqf.t
  val equal : 'a Mpqf.tt -> 'b Mpqf.tt -> bool
  val cmp : 'a Mpqf.tt -> 'b Mpqf.tt -> int
  val cmp_int : 'a Mpqf.tt -> int -> int
  val cmp_frac : 'a Mpqf.tt -> int -> int -> int
  val sgn : 'a Mpqf.tt -> int
  val get_num : Mpqf.t -> Mpzf.t
  val get_den : Mpqf.t -> Mpzf.t
end