Dolmen_model.Fp************************************************************************
val ops : Farith.F.t Value.opsops for bitvector values.
val mk : Farith.F.t -> Value.tmk f floating point value creation.
************************************************************************
val builtins : Env.t -> Dolmen.Std.Expr.Term.Const.t -> Value.t optionbuiltins for floating-points