Module Mpfr.FR

module FR: sig .. end

type t = Mpfr.fr 

val zero : prec:int -> t

val one : prec:int -> t

val minus_one : prec:int -> t

val compare : t -> t -> int

val compare_int : t -> int -> int

val neg : prec:int -> mode:Mpfr.rounding_mode -> t -> t

val abs : prec:int -> mode:Mpfr.rounding_mode -> t -> t

val add : prec:int -> mode:Mpfr.rounding_mode -> t -> t -> t

val add_int : prec:int -> mode:Mpfr.rounding_mode -> t -> int -> t

val sub : prec:int -> mode:Mpfr.rounding_mode -> t -> t -> t

val sub_int : prec:int -> mode:Mpfr.rounding_mode -> t -> int -> t

val mul : prec:int -> mode:Mpfr.rounding_mode -> t -> t -> t

val mul_int : prec:int -> mode:Mpfr.rounding_mode -> t -> int -> t

val div : prec:int -> mode:Mpfr.rounding_mode -> t -> t -> t

val fma : prec:int ->
       mode:Mpfr.rounding_mode -> t -> t -> t -> t

val pow_int : prec:int ->
       mode:Mpfr.rounding_mode -> base:t -> exponent:int -> t

val int_pow_int : prec:int -> mode:Mpfr.rounding_mode -> base:int -> exponent:int -> t

val scale : prec:int ->
       mode:Mpfr.rounding_mode -> t -> base:int -> exponent:int -> t

val root : prec:int -> mode:Mpfr.rounding_mode -> nth:int -> t -> t

val sqrt : prec:int -> mode:Mpfr.rounding_mode -> t -> t

val nearly_equal : int -> t -> t -> bool

val frexp : prec:int -> mode:Mpfr.rounding_mode -> t -> t * int

val ldexp : prec:int -> mode:Mpfr.rounding_mode -> t -> int -> t

val trunc : prec:int -> t -> t

val ceil : prec:int -> t -> t

val floor : prec:int -> t -> t

val is_infinite : t -> bool

val pi : prec:int -> mode:Mpfr.rounding_mode -> t

val log : prec:int -> mode:Mpfr.rounding_mode -> t -> t

val based_log : prec:int -> mode:Mpfr.rounding_mode -> base:int -> t -> t

val pow : prec:int -> mode:Mpfr.rounding_mode -> t -> t -> t

val exp : prec:int -> mode:Mpfr.rounding_mode -> t -> t

val sin : prec:int -> mode:Mpfr.rounding_mode -> t -> t

val cos : prec:int -> mode:Mpfr.rounding_mode -> t -> t

val tan : prec:int -> mode:Mpfr.rounding_mode -> t -> t

val atan : prec:int -> mode:Mpfr.rounding_mode -> t -> t

val atan2 : prec:int -> mode:Mpfr.rounding_mode -> t -> t -> t

val acosh : prec:int -> mode:Mpfr.rounding_mode -> t -> t

val of_based_string : prec:int -> mode:Mpfr.rounding_mode -> base:int -> string -> t

val of_string : prec:int -> mode:Mpfr.rounding_mode -> string -> t

val to_based_string : mode:Mpfr.rounding_mode -> base:int -> t -> string

val to_string : mode:Mpfr.rounding_mode -> t -> string

val of_int : prec:int -> mode:Mpfr.rounding_mode -> int -> t

val of_float : prec:int -> mode:Mpfr.rounding_mode -> float -> t

val to_float : mode:Mpfr.rounding_mode -> t -> float

val of_z : prec:int -> mode:Mpfr.rounding_mode -> Gmp.z -> t

val to_z : mode:Mpfr.rounding_mode -> t -> Gmp.z

module type Param = sig .. end

module Make: 
functor (* : sig

end) -> sig .. end

val default_prec : unit -> int

val default_rounding_mode : unit -> Mpfr.rounding_mode

val default : unit -> (module Mpfr.FR.Param)

val bits_of_single : Mpfr.fr -> int32

val bits_of_double : Mpfr.fr -> int64

val bits_of_extended : Mpfr.fr -> int64 * int

val single_of_bits : int32 -> Mpfr.fr

val double_of_bits : int64 -> Mpfr.fr

val extended_of_bits : int64 * int -> Mpfr.fr