Method dump_float

Source/Utils/json.hpp:16198–16217

! @brief dump a floating-point number Dump a given floating-point number to output stream @a o. Works internally with @a number_buffer. @param[in] x floating-point number to dump */

            @param[in] x  floating-point number to dump
            */
            void dump_float(number_float_t x)
            {
                // NaN / inf
                if (!std::isfinite(x))
                {
                    o->write_characters("null", 4);
                    return;
                }

                // If number_float_t is an IEEE-754 single or double precision number,
                // use the Grisu2 algorithm to produce short numbers which are
                // guaranteed to round-trip, using strtof and strtod, resp.
                //
                // NB: The test below works if <long double> == <double>.
                static constexpr bool is_ieee_single_or_double
                    = (std::numeric_limits<number_float_t>::is_iec559 && std::numeric_limits<number_float_t>::digits == 24 && std::numeric_limits<number_float_t>::max_exponent == 128) ||
                    (std::numeric_limits<number_float_t>::is_iec559 && std::numeric_limits<number_float_t>::digits == 53 && std::numeric_limits<number_float_t>::max_exponent == 1024);

                dump_float(x, std::integral_constant<bool, is_ieee_single_or_double>());
            }

            void dump_float(number_float_t x, std::true_type /*is_ieee_single_or_double*/)
            {