DolmenIntf.Float
module Rounding_mode : sig ... end
val v : float -> int -> int -> term
val neg : term -> term
val abs : term -> term
val sqrt : rm:term -> term -> term
val is_normal : term -> term
val is_subnormal : term -> term
val is_negative : term -> term
val is_positive : term -> term
val is_infinite : term -> term
val is_zero : term -> term
val is_nan : term -> term
val round_to_integral : rm:term -> term -> term
val add : rm:term -> term -> term -> term
val sub : rm:term -> term -> term -> term
val mul : rm:term -> term -> term -> term
val div : rm:term -> term -> term -> term
val min : term -> term -> term
val max : term -> term -> term
val rem : term -> term -> term
val fma : rm:term -> term -> term -> term -> term
val eq : term -> term -> term
val lt : term -> term -> term
val le : term -> term -> term
val gt : term -> term -> term
val ge : term -> term -> term
val to_fp : int -> int -> rm:term -> term -> term
val sbv_to_fp : int -> int -> rm:term -> term -> term
val ubv_to_fp : int -> int -> rm:term -> term -> term
val to_ubv : int -> rm:term -> term -> term
val to_sbv : int -> rm:term -> term -> term
val of_ieee_bv : int -> int -> term -> term
val to_ieee_bv : (term -> term) option