sig
  type 'a tt = 'a Mpfr.tt
  type t = Mpfr.f Mpfrf.tt
  val to_mpfr : Mpfrf.t -> 'a Mpfr.tt
  val of_mpfr : 'a Mpfr.tt -> Mpfrf.t
  val _mpfr : Mpfrf.t -> Mpfr.t
  val _mpfrf : Mpfr.t -> Mpfrf.t
  val print : Format.formatter -> Mpfrf.t -> unit
  val of_string : string -> Mpfr.round -> Mpfrf.t
  val of_float : float -> Mpfr.round -> Mpfrf.t
  val of_int : int -> Mpfr.round -> Mpfrf.t
  val of_frac : int -> int -> Mpfr.round -> Mpfrf.t
  val of_mpz : 'a Mpz.tt -> Mpfr.round -> Mpfrf.t
  val of_mpz2 : 'a Mpz.tt -> 'b Mpz.tt -> Mpfr.round -> Mpfrf.t
  val of_mpq : 'a Mpq.tt -> Mpfr.round -> Mpfrf.t
  val to_string : Mpfrf.t -> string
  val to_float : ?round:Mpfr.round -> Mpfrf.t -> float
  val to_mpqf : Mpfrf.t -> Mpqf.t
  val add : 'a Mpfrf.tt -> 'b Mpfrf.tt -> Mpfr.round -> Mpfrf.t
  val add_int : 'a Mpfrf.tt -> int -> Mpfr.round -> Mpfrf.t
  val sub : 'a Mpfrf.tt -> 'b Mpfrf.tt -> Mpfr.round -> Mpfrf.t
  val sub_int : 'a Mpfrf.tt -> int -> Mpfr.round -> Mpfrf.t
  val mul : 'a Mpfrf.tt -> 'b Mpfrf.tt -> Mpfr.round -> Mpfrf.t
  val mul_ui : 'a Mpfrf.tt -> int -> Mpfr.round -> Mpfrf.t
  val ui_div : int -> 'b Mpfrf.tt -> Mpfr.round -> Mpfrf.t
  val div : 'a Mpfrf.tt -> 'b Mpfrf.tt -> Mpfr.round -> Mpfrf.t
  val div_ui : 'a Mpfrf.tt -> int -> Mpfr.round -> Mpfrf.t
  val sqrt : 'a Mpfrf.tt -> Mpfr.round -> Mpfrf.t
  val ui_pow : int -> 'b Mpfrf.tt -> Mpfr.round -> Mpfrf.t
  val pow : 'a Mpfrf.tt -> 'b Mpfrf.tt -> Mpfr.round -> Mpfrf.t
  val pow_int : 'a Mpfrf.tt -> int -> Mpfr.round -> Mpfrf.t
  val neg : 'a Mpfrf.tt -> Mpfr.round -> Mpfrf.t
  val abs : 'a Mpfrf.tt -> Mpfr.round -> Mpfrf.t
  val equal : 'a Mpfrf.tt -> 'b Mpfrf.tt -> bits:int -> bool
  val cmp : 'a Mpfrf.tt -> 'b Mpfrf.tt -> int
  val cmp_int : 'a Mpfrf.tt -> int -> int
  val sgn : 'a Mpfrf.tt -> int
  val nan_p : 'a Mpfrf.tt -> bool
  val inf_p : 'a Mpfrf.tt -> bool
  val number_p : 'a Mpfrf.tt -> bool
end