Module Farith.F

type t
val equal : t -> t -> Ppx_deriving_runtime.bool
val compare : t -> t -> Ppx_deriving_runtime.int
include Ppx_hash_lib.Hashable.S with type t := t
val hash_fold_t : Base.Hash.state -> t -> Base.Hash.state
val hash : t -> Base.Hash.hash_value
val ew : t -> int
val mw : t -> int
val pp : Format.formatter -> t -> unit
val of_q : mw:int -> ew:int -> Mode.t -> Q.t -> t
val to_q : t -> Q.t
val add : Mode.t -> t -> t -> t
val sub : Mode.t -> t -> t -> t
val mul : Mode.t -> t -> t -> t
val div : Mode.t -> t -> t -> t
val fma : Mode.t -> t -> t -> t -> t
val sqrt : Mode.t -> t -> t
val abs : t -> t
val neg : t -> t
val pred : t -> t
val succ : t -> t
val of_bits : mw:int -> ew:int -> Z.t -> t
val to_bits : t -> Z.t
val of_float : float -> t
val to_float : Mode.t -> t -> float
val round : mw:int -> ew:int -> Mode.t -> t -> t
val ge : t -> t -> bool
val gt : t -> t -> bool
val le : t -> t -> bool
val lt : t -> t -> bool
val eq : t -> t -> bool
val nan : mw:int -> ew:int -> t
val zero : mw:int -> ew:int -> bool -> t

zero false is positive zero and zero true is negative zero

val inf : mw:int -> ew:int -> bool -> t
val is_zero : t -> bool
val is_infinite : t -> bool
val is_nan : t -> bool
val is_negative : t -> bool
val is_positive : t -> bool
val is_normal : t -> bool
val is_subnormal : t -> bool
val classify : t -> Classify.t