16139         auto buffer_ptr = number_buffer.begin();  in dump_integer()
16161         JSON_ASSERT(n_chars < number_buffer.size() - 1);  in dump_integer()
16188         o->write_characters(number_buffer.data(), n_chars);  in dump_integer()
16222         char* begin = number_buffer.data();  in dump_float()
16223         char* end = ::nlohmann::detail::to_chars(begin, begin + number_buffer.size(), x);  in dump_float()
16234 …    std::ptrdiff_t len = (std::snprintf)(number_buffer.data(), number_buffer.size(), "%.*g", d, x);  in dump_float()
16239         JSON_ASSERT(static_cast<std::size_t>(len) < number_buffer.size());  in dump_float()
16244             const auto end = std::remove(number_buffer.begin(),  in dump_float()
16245                                          number_buffer.begin() + len, thousands_sep);  in dump_float()
16246             std::fill(end, number_buffer.end(), '\0');  in dump_float()
16247             JSON_ASSERT((end - number_buffer.begin()) <= len);  in dump_float()
16248             len = (end - number_buffer.begin());  in dump_float()
16254 …         const auto dec_pos = std::find(number_buffer.begin(), number_buffer.end(), decimal_point);  in dump_float()
16255             if (dec_pos != number_buffer.end())  in dump_float()
16261         o->write_characters(number_buffer.data(), static_cast<std::size_t>(len));  in dump_float()
16265             std::none_of(number_buffer.begin(), number_buffer.begin() + len + 1,  in dump_float()
16363     std::array<char, 64> number_buffer{{}};  member in nlohmann::detail::serializer