// File: /workspace/github_cpp_makefile_star2_O3/mattn[P]wandbox-run/./json.hpp
// Function: nlohmann::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, bool, long, unsigned long, double, std::allocator, nlohmann::adl_serializer>::serializer::dump_float(double)
void dump_float(number_float_t x)
        {
            // special case for 0.0 and -0.0
            if (x == 0)
            {
                if (std::signbit(x))
                {
                    o.write("-0.0", 4);
                }
                else
                {
                    o.write("0.0", 3);
                }
                return;
            }

            // get number of digits for a text -> float -> text round-trip
            static constexpr auto d = std::numeric_limits<number_float_t>::digits10;

            // the actual conversion
            long len = snprintf(number_buffer.data(), number_buffer.size(),
                                "%.*g", d, x);

            // negative value indicates an error
            assert(len > 0);
            // check if buffer was large enough
            assert(static_cast<size_t>(len) < number_buffer.size());

            // erase thousands separator
            if (thousands_sep != '\0')
            {
                const auto end = std::remove(number_buffer.begin(),
                                             number_buffer.begin() + len,
                                             thousands_sep);
                std::fill(end, number_buffer.end(), '\0');
                assert((end - number_buffer.begin()) <= len);
                len = (end - number_buffer.begin());
            }

            // convert decimal point to '.'
            if (decimal_point != '\0' and decimal_point != '.')
            {
                for (auto& c : number_buffer)
                {
                    if (c == decimal_point)
                    {
                        c = '.';
                        break;
                    }
                }
            }

            o.write(number_buffer.data(), static_cast<std::streamsize>(len));

            // determine if need to append ".0"
            const bool value_is_int_like = std::none_of(number_buffer.begin(),
                                           number_buffer.begin() + len + 1,
                                           [](char c)
            {
                return c == '.' or c == 'e';
            });

            if (value_is_int_like)
            {
                o.write(".0", 2);
            }
        }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
xorpd %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jne 0x1ba3f
jp 0x1ba3f
movq %xmm0, %rax
movq (%rbx), %rdi
testq %rax, %rax
js 0x1bacd
leaq 0xb1a55(%rip), %rsi     # 0xcd48a
movl $0x3, %edx
jmp 0x1bb1f
leaq 0x8(%rbx), %r14
leaq 0xb1a44(%rip), %rdx     # 0xcd48e
movl $0x40, %esi
movq %r14, %rdi
movl $0xf, %ecx
movb $0x1, %al
callq 0x133a0
testl %eax, %eax
jle 0x1bb2f
cmpl $0x40, %eax
jae 0x1bb4e
movslq %eax, %r15
cmpb $0x0, 0x50(%rbx)
je 0x1baad
leaq 0x50(%rbx), %rdx
leaq (%r14,%r15), %rsi
movq %r14, %rdi
callq 0x1bc07
movq %rax, %r12
leaq 0x48(%rbx), %rdx
subq %rax, %rdx
je 0x1ba9e
movq %r12, %rdi
xorl %esi, %esi
callq 0x13240
subq %r14, %r12
cmpq %r15, %r12
movq %r12, %r15
jg 0x1bb6d
movzbl 0x51(%rbx), %eax
testl %eax, %eax
je 0x1bae0
cmpl $0x2e, %eax
je 0x1bae0
xorl %ecx, %ecx
cmpb %al, (%r14,%rcx)
je 0x1badb
incq %rcx
cmpq $0x40, %rcx
jne 0x1babc
jmp 0x1bae0
leaq 0xb19b5(%rip), %rsi     # 0xcd489
movl $0x4, %edx
jmp 0x1bb1f
movb $0x2e, (%r14,%rcx)
movq (%rbx), %rdi
movq %r14, %rsi
movq %r15, %rdx
callq 0x88440
addq %r14, %r15
incq %r15
movq %r14, %rdi
movq %r15, %rsi
callq 0x1bcdd
cmpq %r15, %rax
je 0x1bb10
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
movq (%rbx), %rdi
leaq 0xb1971(%rip), %rsi     # 0xcd48b
movl $0x2, %edx
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0x88440
leaq 0xb063b(%rip), %rdi     # 0xcc171
leaq 0xaf7c8(%rip), %rsi     # 0xcb305
leaq 0xb194f(%rip), %rcx     # 0xcd493
movl $0x1a0d, %edx           # imm = 0x1A0D
callq 0x13130
leaq 0xb1a90(%rip), %rdi     # 0xcd5e5
leaq 0xaf7a9(%rip), %rsi     # 0xcb305
leaq 0xb1930(%rip), %rcx     # 0xcd493
movl $0x1a0f, %edx           # imm = 0x1A0F
callq 0x13130
leaq 0xb1aa1(%rip), %rdi     # 0xcd615
leaq 0xaf78a(%rip), %rsi     # 0xcb305
leaq 0xb1911(%rip), %rcx     # 0xcd493
movl $0x1a18, %edx           # imm = 0x1A18
callq 0x13130