// File: /workspace/github_cpp_makefile_star2_O3/king1600[P]cordpp/./include/json.h
// Function: nlohmann::detail::serializer<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>>::dump_float(double)
void dump_float(number_float_t x)
    {
        // NaN / inf
        if (not std::isfinite(x) or std::isnan(x))
        {
            o->write_characters("null", 4);
            return;
        }

        // special case for 0.0 and -0.0
        if (x == 0)
        {
            if (std::signbit(x))
            {
                o->write_characters("-0.0", 4);
            }
            else
            {
                o->write_characters("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
        std::ptrdiff_t 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<std::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 != '.')
        {
            const auto dec_pos = std::find(number_buffer.begin(), number_buffer.end(), decimal_point);
            if (dec_pos != number_buffer.end())
            {
                *dec_pos = '.';
            }
        }

        o->write_characters(number_buffer.data(), static_cast<std::size_t>(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_characters(".0", 2);
        }
    }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq %xmm0, %rcx
movq %rcx, %rax
btrq $0x3f, %rax
movabsq $0x7ff0000000000000, %rdx # imm = 0x7FF0000000000000
cmpq %rdx, %rax
jl 0x16372
movq (%rbx), %rdi
movq (%rdi), %rax
movq 0x8(%rax), %rax
leaq 0x2534e(%rip), %rsi     # 0x3b6b6
movl $0x4, %edx
jmp 0x1648b
xorpd %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jne 0x163a2
jp 0x163a2
movq (%rbx), %rdi
movq (%rdi), %rax
movq 0x8(%rax), %rax
testq %rcx, %rcx
js 0x16469
leaq 0x2678f(%rip), %rsi     # 0x3cb27
movl $0x3, %edx
jmp 0x1648b
leaq 0x10(%rbx), %r14
leaq 0x2677e(%rip), %rdx     # 0x3cb2b
movl $0x40, %esi
movq %r14, %rdi
movl $0xf, %ecx
movb $0x1, %al
callq 0xa970
testl %eax, %eax
jle 0x16498
cmpl $0x40, %eax
jae 0x164b7
movslq %eax, %r15
cmpb $0x0, 0x58(%rbx)
je 0x16410
leaq 0x58(%rbx), %rdx
leaq (%r14,%r15), %rsi
movq %r14, %rdi
callq 0x1674a
movq %rax, %r12
leaq 0x50(%rbx), %rdx
subq %rax, %rdx
je 0x16401
movq %r12, %rdi
xorl %esi, %esi
callq 0xa350
subq %r14, %r12
cmpq %r15, %r12
movq %r12, %r15
jg 0x164d6
movzbl 0x59(%rbx), %eax
testl %eax, %eax
je 0x16438
cmpl $0x2e, %eax
je 0x16438
leaq 0x59(%rbx), %rdx
leaq 0x50(%rbx), %r12
movq %r14, %rdi
movq %r12, %rsi
callq 0x1678c
cmpq %r12, %rax
je 0x16438
movb $0x2e, (%rax)
movq (%rbx), %rdi
movq (%rdi), %rax
movq %r14, %rsi
movq %r15, %rdx
callq *0x8(%rax)
addq %r14, %r15
incq %r15
movq %r14, %rdi
movq %r15, %rsi
callq 0x16820
cmpq %r15, %rax
je 0x16475
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
leaq 0x266b6(%rip), %rsi     # 0x3cb26
jmp 0x16368
movq (%rbx), %rdi
movq (%rdi), %rax
movq 0x8(%rax), %rax
leaq 0x266a2(%rip), %rsi     # 0x3cb28
movl $0x2, %edx
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmpq *%rax
leaq 0x26691(%rip), %rdi     # 0x3cb30
leaq 0x24e76(%rip), %rsi     # 0x3b31c
leaq 0x2668b(%rip), %rcx     # 0x3cb38
movl $0x19e5, %edx           # imm = 0x19E5
callq 0xa3c0
leaq 0x266f9(%rip), %rdi     # 0x3cbb7
leaq 0x24e57(%rip), %rsi     # 0x3b31c
leaq 0x2666c(%rip), %rcx     # 0x3cb38
movl $0x19e7, %edx           # imm = 0x19E7
callq 0xa3c0
leaq 0x2670f(%rip), %rdi     # 0x3cbec
leaq 0x24e38(%rip), %rsi     # 0x3b31c
leaq 0x2664d(%rip), %rcx     # 0x3cb38
movl $0x19ef, %edx           # imm = 0x19EF
callq 0xa3c0
nop