sig
  type t
  val pretty : Format.formatter -> Numerors_float.t -> unit
  val pos_inf : Numerors_utils.Precisions.t -> Numerors_float.t
  val neg_inf : Numerors_utils.Precisions.t -> Numerors_float.t
  val pos_zero : Numerors_utils.Precisions.t -> Numerors_float.t
  val neg_zero : Numerors_utils.Precisions.t -> Numerors_float.t
  val machine_epsilon :
    ?prec:Numerors_utils.Precisions.t ->
    Numerors_utils.Precisions.t -> Numerors_float.t
  val machine_delta :
    ?prec:Numerors_utils.Precisions.t ->
    Numerors_utils.Precisions.t -> Numerors_float.t
  val maximal_pos_float :
    prec:Numerors_utils.Precisions.t -> Numerors_float.t
  val maximal_neg_float :
    prec:Numerors_utils.Precisions.t -> Numerors_float.t
  val of_int :
    ?rnd:Numerors_utils.Rounding.t ->
    ?prec:Numerors_utils.Precisions.t -> int -> Numerors_float.t
  val of_float :
    ?rnd:Numerors_utils.Rounding.t ->
    ?prec:Numerors_utils.Precisions.t -> float -> Numerors_float.t
  val of_string :
    ?rnd:Numerors_utils.Rounding.t ->
    ?prec:Numerors_utils.Precisions.t -> string -> Numerors_float.t
  val change_prec :
    rnd:Numerors_utils.Rounding.t ->
    prec:Numerors_utils.Precisions.t -> Numerors_float.t -> Numerors_float.t
  val compare : Numerors_float.t -> Numerors_float.t -> int
  val eq : Numerors_float.t -> Numerors_float.t -> bool
  val le : Numerors_float.t -> Numerors_float.t -> bool
  val lt : Numerors_float.t -> Numerors_float.t -> bool
  val ge : Numerors_float.t -> Numerors_float.t -> bool
  val gt : Numerors_float.t -> Numerors_float.t -> bool
  val min : Numerors_float.t -> Numerors_float.t -> Numerors_float.t
  val max : Numerors_float.t -> Numerors_float.t -> Numerors_float.t
  val is_nan : Numerors_float.t -> bool
  val is_inf : Numerors_float.t -> bool
  val is_pos : Numerors_float.t -> bool
  val is_neg : Numerors_float.t -> bool
  val is_a_zero : Numerors_float.t -> bool
  val is_pos_zero : Numerors_float.t -> bool
  val is_neg_zero : Numerors_float.t -> bool
  val is_strictly_pos : Numerors_float.t -> bool
  val is_strictly_neg : Numerors_float.t -> bool
  val sign : Numerors_float.t -> Numerors_utils.Sign.t
  val prec : Numerors_float.t -> Numerors_utils.Precisions.t
  val exponent : Numerors_float.t -> int
  val significand : Numerors_float.t -> Numerors_float.t
  val apply_sign :
    src:Numerors_float.t -> dst:Numerors_float.t -> Numerors_float.t
  val prev_float : Numerors_float.t -> Numerors_float.t
  val next_float : Numerors_float.t -> Numerors_float.t
  val neg : Numerors_float.t -> Numerors_float.t
  val abs : Numerors_float.t -> Numerors_float.t
  val add :
    ?rnd:Numerors_utils.Rounding.t ->
    ?prec:Numerors_utils.Precisions.t ->
    Numerors_float.t -> Numerors_float.t -> Numerors_float.t
  val sub :
    ?rnd:Numerors_utils.Rounding.t ->
    ?prec:Numerors_utils.Precisions.t ->
    Numerors_float.t -> Numerors_float.t -> Numerors_float.t
  val mul :
    ?rnd:Numerors_utils.Rounding.t ->
    ?prec:Numerors_utils.Precisions.t ->
    Numerors_float.t -> Numerors_float.t -> Numerors_float.t
  val div :
    ?rnd:Numerors_utils.Rounding.t ->
    ?prec:Numerors_utils.Precisions.t ->
    Numerors_float.t -> Numerors_float.t -> Numerors_float.t
  val pow :
    ?rnd:Numerors_utils.Rounding.t ->
    ?prec:Numerors_utils.Precisions.t ->
    Numerors_float.t -> Numerors_float.t -> Numerors_float.t
  val pow_int :
    ?rnd:Numerors_utils.Rounding.t ->
    ?prec:Numerors_utils.Precisions.t ->
    Numerors_float.t -> int -> Numerors_float.t
  val square :
    ?rnd:Numerors_utils.Rounding.t ->
    ?prec:Numerors_utils.Precisions.t -> Numerors_float.t -> Numerors_float.t
  val sqrt :
    ?rnd:Numerors_utils.Rounding.t ->
    ?prec:Numerors_utils.Precisions.t -> Numerors_float.t -> Numerors_float.t
  val log :
    ?rnd:Numerors_utils.Rounding.t ->
    ?prec:Numerors_utils.Precisions.t -> Numerors_float.t -> Numerors_float.t
  val exp :
    ?rnd:Numerors_utils.Rounding.t ->
    ?prec:Numerors_utils.Precisions.t -> Numerors_float.t -> Numerors_float.t
  val sin :
    ?rnd:Numerors_utils.Rounding.t ->
    ?prec:Numerors_utils.Precisions.t -> Numerors_float.t -> Numerors_float.t
  val cos :
    ?rnd:Numerors_utils.Rounding.t ->
    ?prec:Numerors_utils.Precisions.t -> Numerors_float.t -> Numerors_float.t
  val tan :
    ?rnd:Numerors_utils.Rounding.t ->
    ?prec:Numerors_utils.Precisions.t -> Numerors_float.t -> Numerors_float.t
end