module Mpfrf:MPFR multi-precision floating-point version, functional versionsig..end
Mpfr. These functions do not return the rounding
information and are less efficients, due to the additional memory allocation
neded for the result.typet =Mpfr.t
val to_mpfr : t -> Mpfr.tval of_mpfr : Mpfr.t -> t
There is no sharing between the argument and the result.
val mpfr : t -> Mpfr.tval mpfrf : Mpfr.t -> t
The argument and the result actually share the same number: be cautious !
val print : Format.formatter -> t -> unitval of_string : string -> Mpfr.round -> tval of_float : float -> Mpfr.round -> tval of_int : int -> Mpfr.round -> tval of_frac : int -> int -> Mpfr.round -> tval of_mpz : Mpz.t -> Mpfr.round -> tval of_mpz2 : Mpz.t -> Mpz.t -> Mpfr.round -> tval of_mpzf : Mpzf.t -> Mpfr.round -> tval of_mpzf2 : Mpzf.t -> Mpzf.t -> Mpfr.round -> tval of_mpq : Mpq.t -> Mpfr.round -> tval of_mpqf : Mpqf.t -> Mpfr.round -> tval to_string : t -> stringval to_float : ?round:Mpfr.round -> t -> floatval to_mpqf : t -> Mpqf.tval add : t -> t -> Mpfr.round -> tval add_int : t -> int -> Mpfr.round -> tval sub : t -> t -> Mpfr.round -> tval sub_int : t -> int -> Mpfr.round -> tval mul : t -> t -> Mpfr.round -> tval mul_ui : t -> int -> Mpfr.round -> tval ui_div : int -> t -> Mpfr.round -> tval div : t -> t -> Mpfr.round -> tval div_ui : t -> int -> Mpfr.round -> tval sqrt : t -> Mpfr.round -> tval ui_pow : int -> t -> Mpfr.round -> tval pow : t -> t -> Mpfr.round -> tval pow_int : t -> int -> Mpfr.round -> tval neg : t -> Mpfr.round -> tval abs : t -> Mpfr.round -> tval equal : t -> t -> bits:int -> boolval cmp : t -> t -> intval cmp_int : t -> int -> intval sgn : t -> intval nan_p : t -> boolval inf_p : t -> boolval number_p : t -> bool