sig   type model = Real | Float   val configure : Cfloat.model -> unit   val code_lit : float -> Lang.F.term   val acsl_lit : Cil_types.logic_real -> Lang.F.term   val real_of_int : Lang.F.unop   val float_of_int : Ctypes.c_float -> Lang.F.unop   val convert : Ctypes.c_float -> Lang.F.unop   val range : Ctypes.c_float -> Lang.F.term -> Lang.F.pred   val fopp : Ctypes.c_float -> Lang.F.unop   val fadd : Ctypes.c_float -> Lang.F.binop   val fsub : Ctypes.c_float -> Lang.F.binop   val fmul : Ctypes.c_float -> Lang.F.binop   val fdiv : Ctypes.c_float -> Lang.F.binop   val f_iabs : Lang.lfun   val f_rabs : Lang.lfun   val f_sqrt : Lang.lfun   val f_model : Lang.lfun   val f_delta : Lang.lfun   val f_epsilon : Lang.lfun   val flt_rnd : Ctypes.c_float -> Lang.lfun   val flt_add : Ctypes.c_float -> Lang.lfun   val flt_mul : Ctypes.c_float -> Lang.lfun   val flt_div : Ctypes.c_float -> Lang.lfun   val flt_sqrt : Ctypes.c_float -> Lang.lfun end