module F: sig .. end
type Gmp.f
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 -> t -> t
val abs : prec:int -> t -> t
val add : prec:int -> t -> t -> t
val add_int : prec:int -> t -> int -> t
val sub : prec:int -> t -> t -> t
val sub_int : prec:int -> t -> int -> t
val mul : prec:int -> t -> t -> t
val mul_int : prec:int -> t -> int -> t
val div : prec:int -> t -> t -> t
val fma : prec:int -> t -> t -> t -> t
val pow_int : prec:int -> base:t -> exponent:int -> t
val int_pow_int : prec:int -> base:int -> exponent:int -> t
val scale : prec:int -> t -> base:int -> exponent:int -> t
val root : prec:int -> nth:int -> t -> t
val sqrt : prec:int -> t -> t
val nearly_equal : int -> t -> t -> bool
val frexp : prec:int -> t -> t * int
val trunc : prec:int -> t -> t
val ceil : prec:int -> t -> t
val floor : prec:int -> t -> t
val log : prec:int -> t -> t
val based_log : prec:int -> base:int -> t -> t
val of_based_string : prec:int -> base:int -> string -> t
val of_string : prec:int -> string -> t
val to_based_string : base:int -> t -> string
val to_string : t -> string
val of_int : prec:int -> int -> t
val of_float : prec:int -> float -> t
val to_float : t -> float
val of_z : prec:int -> Gmp.z -> t
module type Param = sig .. end
module Make: functor (* : sigend) -> sig .. end
val default_prec : unit -> int
val default : unit -> (module Gmp.F.Param)