Module Bir_number.RegularFloatNumber

type t
val format_t : Stdlib.Format.formatter -> t -> unit
val format_prec_t : int -> int -> Stdlib.Format.formatter -> t -> unit
val abs : t -> t
val floor : t -> t
val ceil : t -> t
val of_int : Stdlib.Int64.t -> t
val to_int : t -> Stdlib.Int64.t
val of_float : float -> t
val of_float_input : Mir.Variable.t -> float -> t
val to_float : t -> float
val zero : unit -> t
val one : unit -> t
val (=.) : t -> t -> bool
val (>=.) : t -> t -> bool
val (>.) : t -> t -> bool
val (<.) : t -> t -> bool
val (<=.) : t -> t -> bool
val (+.) : t -> t -> t
val (-.) : t -> t -> t
val (/.) : t -> t -> t
val (*.) : t -> t -> t
val min : t -> t -> t
val max : t -> t -> t
val is_nan_or_inf : t -> bool
val is_zero : t -> bool