module Mpf:GMP multiprecision floating-point numberssig..end
type t
set, add, ...) the first parameter of type t is an out-parameter and holds the result when the function returns. For instance, add x y z adds the values of y and z and stores the result in x.
These functions are as efficient as their C counterpart: they do not imply additional memory allocation.
val print : Format.formatter -> t -> unitval set_default_prec : int -> unitval get_default_prec : unit -> intval init : unit -> tval init2 : int -> tval get_prec : t -> intval set_prec : t -> int -> unitval set_prec_raw : t -> int -> unitval set : t -> t -> unitval set_si : t -> int -> unitval set_d : t -> float -> unitval set_z : t -> Mpz.t -> unitval set_q : t -> Mpq.t -> unitval _set_str : t -> string -> int -> unitval set_str : t -> string -> base:int -> unitval swap : t -> t -> unitval init_set : t -> tval init_set_si : int -> tval init_set_d : float -> tval _init_set_str : string -> int -> tval init_set_str : string -> base:int -> tval get_d : t -> floatval get_d_2exp : t -> float * intval get_si : t -> nativeintval get_int : t -> intval get_z : Mpz.t -> t -> unitval get_q : Mpq.t -> t -> unitval _get_str : int -> int -> t -> string * intval get_str : base:int -> digits:int -> t -> string * intval to_string : t -> stringval to_float : t -> floatval of_string : string -> tval of_float : float -> tval of_int : int -> tval of_mpz : Mpz.t -> tval of_mpq : Mpq.t -> tval is_integer : t -> boolval add : t -> t -> t -> unitval add_ui : t -> t -> int -> unitval sub : t -> t -> t -> unitval ui_sub : t -> int -> t -> unitval sub_ui : t -> t -> int -> unitval mul : t -> t -> t -> unitval mul_ui : t -> t -> int -> unitval mul_2exp : t -> t -> int -> unitval div : t -> t -> t -> unitval ui_div : t -> int -> t -> unitval div_ui : t -> t -> int -> unitval div_2exp : t -> t -> int -> unitval sqrt : t -> t -> unitval pow_ui : t -> t -> int -> unitval neg : t -> t -> unitval abs : t -> t -> unitval cmp : t -> t -> intval cmp_d : t -> float -> intval cmp_si : t -> int -> intval sgn : t -> intval _equal : t -> t -> int -> boolval equal : t -> t -> bits:int -> boolval reldiff : t -> t -> t -> unitGmp_random moduleval ceil : t -> t -> unitval floor : t -> t -> unitval trunc : t -> t -> unitval integer_p : t -> boolval fits_int_p : t -> boolval fits_ulong_p : t -> boolval fits_slong_p : t -> boolval fits_uint_p : t -> boolval fits_sint_p : t -> boolval fits_ushort_p : t -> boolval fits_sshort_p : t -> bool