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