sig
  type 'a tt
  and round = Near | Zero | Up | Down | Away | Faith | NearAway
  type m
  type f
  type t = Mpfr.m Mpfr.tt
  val print : Format.formatter -> 'a Mpfr.tt -> unit
  val print_round : Format.formatter -> Mpfr.round -> unit
  val string_of_round : Mpfr.round -> string
  external set_default_rounding_mode : Mpfr.round -> unit
    = "camlidl_mpfr_mpfr_set_default_rounding_mode"
  external get_default_rounding_mode : unit -> Mpfr.round
    = "camlidl_mpfr_mpfr_get_default_rounding_mode"
  external round_prec : Mpfr.t -> Mpfr.round -> int -> int
    = "camlidl_mpfr_mpfr_round_prec"
  external get_emin : unit -> int = "camlidl_mpfr_mpfr_get_emin"
  external get_emax : unit -> int = "camlidl_mpfr_mpfr_get_emax"
  external set_emin : int -> unit = "camlidl_mpfr_mpfr_set_emin"
  external set_emax : int -> unit = "camlidl_mpfr_mpfr_set_emax"
  external check_range : Mpfr.t -> int -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_check_range"
  external clear_underflow : unit -> unit
    = "camlidl_mpfr_mpfr_clear_underflow"
  external clear_overflow : unit -> unit = "camlidl_mpfr_mpfr_clear_overflow"
  external clear_nanflag : unit -> unit = "camlidl_mpfr_mpfr_clear_nanflag"
  external clear_inexflag : unit -> unit = "camlidl_mpfr_mpfr_clear_inexflag"
  external clear_flags : unit -> unit = "camlidl_mpfr_mpfr_clear_flags"
  external underflow_p : unit -> bool = "camlidl_mpfr_mpfr_underflow_p"
  external overflow_p : unit -> bool = "camlidl_mpfr_mpfr_overflow_p"
  external nanflag_p : unit -> bool = "camlidl_mpfr_mpfr_nanflag_p"
  external inexflag_p : unit -> bool = "camlidl_mpfr_mpfr_inexflag_p"
  external set_default_prec : int -> unit
    = "camlidl_mpfr_mpfr_set_default_prec"
  external get_default_prec : unit -> int
    = "camlidl_mpfr_mpfr_get_default_prec"
  external init : unit -> 'a Mpfr.tt = "camlidl_mpfr_mpfr_init"
  external init2 : int -> 'a Mpfr.tt = "camlidl_mpfr_mpfr_init2"
  external get_prec : 'a Mpfr.tt -> int = "camlidl_mpfr_mpfr_get_prec"
  external set_prec : Mpfr.t -> int -> unit = "camlidl_mpfr_mpfr_set_prec"
  external set_prec_raw : Mpfr.t -> int -> unit
    = "camlidl_mpfr_mpfr_set_prec_raw"
  external set : Mpfr.t -> 'a Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_set"
  external set_si : Mpfr.t -> int -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_set_si"
  external set_d : Mpfr.t -> float -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_set_d"
  external set_z : Mpfr.t -> 'a Mpz.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_set_z"
  external set_q : Mpfr.t -> 'a Mpq.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_set_q"
  external _set_str : Mpfr.t -> string -> int -> Mpfr.round -> unit
    = "camlidl_mpfr_mpfr__set_str"
  val set_str : Mpfr.t -> string -> base:int -> Mpfr.round -> unit
  external _strtofr : Mpfr.t -> string -> int -> Mpfr.round -> int * int
    = "camlidl_mpfr_mpfr__strtofr"
  val strtofr : Mpfr.t -> string -> base:int -> Mpfr.round -> int * int
  external set_f : Mpfr.t -> 'a Mpf.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_set_f"
  external set_si_2exp : Mpfr.t -> int -> int -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_set_si_2exp"
  external set_inf : Mpfr.t -> int -> unit = "camlidl_mpfr_mpfr_set_inf"
  external set_nan : Mpfr.t -> unit = "camlidl_mpfr_mpfr_set_nan"
  external swap : Mpfr.t -> Mpfr.t -> unit = "camlidl_mpfr_mpfr_swap"
  external init_set : 'a Mpfr.tt -> Mpfr.round -> int * 'b Mpfr.tt
    = "camlidl_mpfr_mpfr_init_set"
  external init_set_si : int -> Mpfr.round -> int * 'a Mpfr.tt
    = "camlidl_mpfr_mpfr_init_set_si"
  external init_set_d : float -> Mpfr.round -> int * 'a Mpfr.tt
    = "camlidl_mpfr_mpfr_init_set_d"
  external init_set_f : 'a Mpf.tt -> Mpfr.round -> int * 'b Mpfr.tt
    = "camlidl_mpfr_mpfr_init_set_f"
  external init_set_z : 'a Mpz.tt -> Mpfr.round -> int * 'b Mpfr.tt
    = "camlidl_mpfr_mpfr_init_set_z"
  external init_set_q : 'a Mpq.tt -> Mpfr.round -> int * 'b Mpfr.tt
    = "camlidl_mpfr_mpfr_init_set_q"
  external _init_set_str : string -> int -> Mpfr.round -> 'a Mpfr.tt
    = "camlidl_mpfr_mpfr__init_set_str"
  val init_set_str : string -> base:int -> Mpfr.round -> 'a Mpfr.tt
  external get_d : 'a Mpfr.tt -> Mpfr.round -> float
    = "camlidl_mpfr_mpfr_get_d"
  external get_d1 : 'a Mpfr.tt -> float = "camlidl_mpfr_mpfr_get_d1"
  external get_z_exp : Mpz.t -> 'a Mpfr.tt -> int
    = "camlidl_mpfr_mpfr_get_z_exp"
  external get_z : Mpz.t -> 'a Mpfr.tt -> Mpfr.round -> unit
    = "camlidl_mpfr_mpfr_get_z"
  external _get_str : int -> int -> 'a Mpfr.tt -> Mpfr.round -> string * int
    = "camlidl_mpfr_mpfr__get_str"
  val get_str :
    base:int -> digits:int -> Mpfr.t -> Mpfr.round -> string * int
  val to_string : 'a Mpfr.tt -> string
  val to_float : ?round:Mpfr.round -> 'a Mpfr.tt -> float
  val to_mpq : 'a Mpfr.tt -> 'b Mpq.tt
  val of_string : string -> Mpfr.round -> 'a Mpfr.tt
  val of_float : float -> Mpfr.round -> 'a Mpfr.tt
  val of_int : int -> Mpfr.round -> 'a Mpfr.tt
  val of_frac : int -> int -> Mpfr.round -> 'a Mpfr.tt
  val of_mpz : 'a Mpz.tt -> Mpfr.round -> 'b Mpfr.tt
  val of_mpz2 : 'a Mpz.tt -> 'b Mpz.tt -> Mpfr.round -> 'c Mpfr.tt
  val of_mpq : 'a Mpq.tt -> Mpfr.round -> 'b Mpfr.tt
  external add : Mpfr.t -> 'a Mpfr.tt -> 'b Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_add"
  external add_ui : Mpfr.t -> 'a Mpfr.tt -> int -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_add_ui"
  external add_z : Mpfr.t -> 'a Mpfr.tt -> 'a Mpz.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_add_z"
  external add_q : Mpfr.t -> 'a Mpfr.tt -> 'a Mpq.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_add_q"
  external sub : Mpfr.t -> 'a Mpfr.tt -> 'b Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_sub"
  external ui_sub : Mpfr.t -> int -> 'a Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_ui_sub"
  external sub_ui : Mpfr.t -> 'a Mpfr.tt -> int -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_sub_ui"
  external sub_z : Mpfr.t -> 'a Mpfr.tt -> 'a Mpz.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_sub_z"
  external sub_q : Mpfr.t -> 'a Mpfr.tt -> 'a Mpq.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_sub_q"
  external mul : Mpfr.t -> 'a Mpfr.tt -> 'b Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_mul"
  external mul_ui : Mpfr.t -> 'a Mpfr.tt -> int -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_mul_ui"
  external mul_z : Mpfr.t -> 'a Mpfr.tt -> 'a Mpz.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_mul_z"
  external mul_q : Mpfr.t -> 'a Mpfr.tt -> 'a Mpq.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_mul_q"
  external mul_2ui : Mpfr.t -> 'a Mpfr.tt -> int -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_mul_2ui"
  external mul_2si : Mpfr.t -> 'a Mpfr.tt -> int -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_mul_2si"
  external mul_2exp : Mpfr.t -> 'a Mpfr.tt -> int -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_mul_2exp"
  external div : Mpfr.t -> 'a Mpfr.tt -> 'b Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_div"
  external ui_div : Mpfr.t -> int -> 'a Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_ui_div"
  external div_ui : Mpfr.t -> 'a Mpfr.tt -> int -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_div_ui"
  external div_z : Mpfr.t -> 'a Mpfr.tt -> 'a Mpz.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_div_z"
  external div_q : Mpfr.t -> 'a Mpfr.tt -> 'a Mpq.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_div_q"
  external div_2ui : Mpfr.t -> 'a Mpfr.tt -> int -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_div_2ui"
  external div_2si : Mpfr.t -> 'a Mpfr.tt -> int -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_div_2si"
  val div_2exp : Mpfr.t -> Mpfr.t -> int -> Mpfr.round -> int
  external sqrt : Mpfr.t -> 'a Mpfr.tt -> Mpfr.round -> bool
    = "camlidl_mpfr_mpfr_sqrt"
  external sqrt_ui : Mpfr.t -> int -> Mpfr.round -> bool
    = "camlidl_mpfr_mpfr_sqrt_ui"
  external pow_ui : Mpfr.t -> 'a Mpfr.tt -> int -> Mpfr.round -> bool
    = "camlidl_mpfr_mpfr_pow_ui"
  external pow_si : Mpfr.t -> 'a Mpfr.tt -> int -> Mpfr.round -> bool
    = "camlidl_mpfr_mpfr_pow_si"
  external ui_pow_ui : Mpfr.t -> int -> int -> Mpfr.round -> bool
    = "camlidl_mpfr_mpfr_ui_pow_ui"
  external ui_pow : Mpfr.t -> int -> 'a Mpfr.tt -> Mpfr.round -> bool
    = "camlidl_mpfr_mpfr_ui_pow"
  external pow : Mpfr.t -> 'a Mpfr.tt -> 'b Mpfr.tt -> Mpfr.round -> bool
    = "camlidl_mpfr_mpfr_pow"
  external neg : Mpfr.t -> 'a Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_neg"
  external abs : Mpfr.t -> 'a Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_abs"
  external cmp : 'a Mpfr.tt -> 'b Mpfr.tt -> int = "camlidl_mpfr_mpfr_cmp"
  external cmp_si : 'a Mpfr.tt -> int -> int = "camlidl_mpfr_mpfr_cmp_si"
  external cmp_si_2exp : 'a Mpfr.tt -> int -> int -> int
    = "camlidl_mpfr_mpfr_cmp_si_2exp"
  external sgn : 'a Mpfr.tt -> int = "camlidl_mpfr_mpfr_sgn"
  external _equal : 'a Mpfr.tt -> 'b Mpfr.tt -> int -> bool
    = "camlidl_mpfr_mpfr__equal"
  val equal : 'a Mpfr.tt -> 'b Mpfr.tt -> bits:int -> bool
  external nan_p : 'a Mpfr.tt -> bool = "camlidl_mpfr_mpfr_nan_p"
  external inf_p : 'a Mpfr.tt -> bool = "camlidl_mpfr_mpfr_inf_p"
  external number_p : 'a Mpfr.tt -> bool = "camlidl_mpfr_mpfr_number_p"
  external reldiff : Mpfr.t -> 'a Mpfr.tt -> 'b Mpfr.tt -> Mpfr.round -> unit
    = "camlidl_mpfr_mpfr_reldiff"
  external log : Mpfr.t -> 'a Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_log"
  external log2 : Mpfr.t -> 'a Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_log2"
  external log10 : Mpfr.t -> 'a Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_log10"
  external exp : Mpfr.t -> 'a Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_exp"
  external exp2 : Mpfr.t -> 'a Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_exp2"
  external exp10 : Mpfr.t -> 'a Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_exp10"
  external cos : 'a Mpfr.tt -> 'b Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_cos"
  external sin : 'a Mpfr.tt -> 'b Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_sin"
  external tan : 'a Mpfr.tt -> 'b Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_tan"
  external sec : 'a Mpfr.tt -> 'b Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_sec"
  external csc : 'a Mpfr.tt -> 'b Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_csc"
  external cot : 'a Mpfr.tt -> 'b Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_cot"
  external sin_cos :
    'a Mpfr.tt -> 'b Mpfr.tt -> 'c Mpfr.tt -> Mpfr.round -> bool
    = "camlidl_mpfr_mpfr_sin_cos"
  external acos : Mpfr.t -> 'a Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_acos"
  external asin : Mpfr.t -> 'a Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_asin"
  external atan : Mpfr.t -> 'a Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_atan"
  external atan2 : Mpfr.t -> 'a Mpfr.tt -> 'b Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_atan2"
  external cosh : 'a Mpfr.tt -> 'b Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_cosh"
  external sinh : 'a Mpfr.tt -> 'b Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_sinh"
  external tanh : 'a Mpfr.tt -> 'b Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_tanh"
  external sech : 'a Mpfr.tt -> 'b Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_sech"
  external csch : 'a Mpfr.tt -> 'b Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_csch"
  external coth : 'a Mpfr.tt -> 'b Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_coth"
  external acosh : Mpfr.t -> 'a Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_acosh"
  external asinh : Mpfr.t -> 'a Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_asinh"
  external atanh : Mpfr.t -> 'a Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_atanh"
  external fac_ui : Mpfr.t -> int -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_fac_ui"
  external log1p : Mpfr.t -> 'a Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_log1p"
  external expm1 : Mpfr.t -> 'a Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_expm1"
  external eint : Mpfr.t -> 'a Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_eint"
  external gamma : Mpfr.t -> 'a Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_gamma"
  external lngamma : Mpfr.t -> 'a Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_lngamma"
  external zeta : Mpfr.t -> 'a Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_zeta"
  external erf : Mpfr.t -> 'a Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_erf"
  external erfc : Mpfr.t -> 'a Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_erfc"
  external j0 : Mpfr.t -> 'a Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_j0"
  external j1 : Mpfr.t -> 'a Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_j1"
  external jn : Mpfr.t -> int -> 'a Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_jn"
  external y0 : Mpfr.t -> 'a Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_y0"
  external y1 : Mpfr.t -> 'a Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_y1"
  external yn : Mpfr.t -> int -> 'a Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_yn"
  external fma :
    Mpfr.t -> 'a Mpfr.tt -> 'b Mpfr.tt -> 'c Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_fma"
  external fms :
    Mpfr.t -> 'a Mpfr.tt -> 'b Mpfr.tt -> 'c Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_fms"
  external agm : Mpfr.t -> 'a Mpfr.tt -> 'b Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_agm"
  external hypot : Mpfr.t -> 'a Mpfr.tt -> 'b Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_hypot"
  external const_log2 : Mpfr.t -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_const_log2"
  external const_pi : Mpfr.t -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_const_pi"
  external const_euler : Mpfr.t -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_const_euler"
  external const_catalan : Mpfr.t -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_const_catalan"
  external rint : Mpfr.t -> 'a Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_rint"
  external ceil : Mpfr.t -> 'a Mpfr.tt -> int = "camlidl_mpfr_mpfr_ceil"
  external floor : Mpfr.t -> 'a Mpfr.tt -> int = "camlidl_mpfr_mpfr_floor"
  external round : Mpfr.t -> 'a Mpfr.tt -> int = "camlidl_mpfr_mpfr_round"
  external trunc : Mpfr.t -> 'a Mpfr.tt -> int = "camlidl_mpfr_mpfr_trunc"
  external frac : Mpfr.t -> 'a Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_frac"
  external modf : Mpfr.t -> Mpfr.t -> 'a Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_modf"
  external fmod : Mpfr.t -> 'a Mpfr.tt -> 'b Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_fmod"
  external remainder :
    Mpfr.t -> 'a Mpfr.tt -> 'b Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_remainder"
  external integer_p : 'a Mpfr.tt -> bool = "camlidl_mpfr_mpfr_integer_p"
  external nexttoward : Mpfr.t -> 'a Mpfr.tt -> unit
    = "camlidl_mpfr_mpfr_nexttoward"
  external nextabove : Mpfr.t -> unit = "camlidl_mpfr_mpfr_nextabove"
  external nextbelow : Mpfr.t -> unit = "camlidl_mpfr_mpfr_nextbelow"
  external min : Mpfr.t -> 'a Mpfr.tt -> 'b Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_min"
  external max : Mpfr.t -> 'a Mpfr.tt -> 'b Mpfr.tt -> Mpfr.round -> int
    = "camlidl_mpfr_mpfr_max"
  external get_exp : 'a Mpfr.tt -> int = "camlidl_mpfr_mpfr_get_exp"
  external set_exp : Mpfr.t -> int -> int = "camlidl_mpfr_mpfr_set_exp"
end