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