float_literal_representation_error(representation_error(max_float), representation_error(min_float), 0.0, syntax_error(number)).