Bir_number.IntervalNumber
val format_t : Stdlib.Format.formatter -> t -> unit
val format_prec_t : int -> int -> Stdlib.Format.formatter -> t -> unit
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 is_nan_or_inf : t -> bool
val is_zero : t -> bool