FloatOps.CFloatval zero : tval upper_bound : tval lower_bound : tval smallest : tval of_float : round_mode -> float -> tval to_float : t -> float optionval to_big_int : t -> Z.tval is_finite : t -> boolval hash : t -> intval to_yojson : t -> Yojson.Safe.tval to_string : t -> stringval add : round_mode -> t -> t -> tval sub : round_mode -> t -> t -> tval mul : round_mode -> t -> t -> tval div : round_mode -> t -> t -> tval atof : round_mode -> string -> t