module Make: functor (* : sigend) -> sig .. end
type Mpfr.fr
val zero : t
val one : t
val minus_one : t
val compare : t -> t -> int
val compare_int : t -> int -> int
val neg : t -> t
val abs : t -> t
val add : t -> t -> t
val add_int : t -> int -> t
val sub : t -> t -> t
val sub_int : t -> int -> t
val mul : t -> t -> t
val mul_int : t -> int -> t
val div : t -> t -> t
val fma : t -> t -> t -> t
val pow_int : base:t -> exponent:int -> t
val int_pow_int : base:int -> exponent:int -> t
val scale : t -> base:int -> exponent:int -> t
val root : nth:int -> t -> t
val sqrt : t -> t
val nearly_equal : int -> t -> t -> bool
val frexp : t -> t * int
val ldexp : t -> int -> t
val trunc : t -> t
val ceil : t -> t
val floor : t -> t
val is_infinite : t -> bool
val pi : t
val log : t -> t
val based_log : base:int -> t -> t
val pow : t -> t -> t
val exp : t -> t
val sin : t -> t
val cos : t -> t
val tan : t -> t
val atan : t -> t
val atan2 : t -> t -> t
val acosh : t -> t
val of_based_string : base:int -> string -> t
val of_string : string -> t
val to_based_string : base:int -> t -> string
val to_string : t -> string
val of_int : int -> t
val of_float : float -> t
val to_float : t -> float
val of_z : Gmp.z -> t
val to_z : t -> Gmp.z