// File: /workspace/github_cpp_makefile_star2_O2/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, %rax
movq %rax, %rcx
btrq $0x3f, %rcx
movabsq $0x7ff0000000000000, %rdx # imm = 0x7FF0000000000000
cmpq %rdx, %rcx
jl 0x1457c
movq (%rbx), %rdi
movq (%rdi), %rax
movq 0x8(%rax), %rax
leaq 0x1d166(%rip), %rsi     # 0x316d2
pushq $0x4
popq %rdx
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmpq *%rax
xorpd %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jne 0x145a9
jp 0x145a9
movq (%rbx), %rdi
movq (%rdi), %rcx
movq 0x8(%rcx), %rcx
testq %rax, %rax
js 0x14675
leaq 0x1e64f(%rip), %rsi     # 0x32bf1
pushq $0x3
jmp 0x1467e
leaq 0x10(%rbx), %r14
leaq 0x1e641(%rip), %rdx     # 0x32bf5
pushq $0x40
popq %rsi
pushq $0xf
popq %rcx
movq %r14, %rdi
movb $0x1, %al
callq 0xa520
testl %eax, %eax
jle 0x14698
cmpl $0x40, %eax
jae 0x146b7
movslq %eax, %r15
cmpb $0x0, 0x58(%rbx)
je 0x14613
leaq 0x58(%rbx), %rdx
leaq (%r14,%r15), %rsi
movq %r14, %rdi
callq 0x149e2
movq %rax, %r12
leaq 0x50(%rbx), %rdx
subq %rax, %rdx
je 0x14604
movq %r12, %rdi
xorl %esi, %esi
callq 0xa310
subq %r14, %r12
cmpq %r15, %r12
movq %r12, %r15
jg 0x146d6
movzbl 0x59(%rbx), %eax
testl %eax, %eax
je 0x1463b
cmpl $0x2e, %eax
je 0x1463b
leaq 0x59(%rbx), %rdx
leaq 0x50(%rbx), %r12
movq %r14, %rdi
movq %r12, %rsi
callq 0x14a1f
cmpq %r12, %rax
je 0x1463b
movb $0x2e, (%rax)
movq (%rbx), %rdi
movq (%rdi), %rax
movq %r14, %rsi
movq %r15, %rdx
callq *0x8(%rax)
leaq (%r14,%r15), %rsi
incq %rsi
movq %r14, %rdi
callq 0x149d1
testb %al, %al
je 0x1468c
movq (%rbx), %rdi
movq (%rdi), %rax
movq 0x8(%rax), %rax
leaq 0x1e584(%rip), %rsi     # 0x32bf2
pushq $0x2
jmp 0x1456e
leaq 0x1e574(%rip), %rsi     # 0x32bf0
pushq $0x4
popq %rdx
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmpq *%rcx
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
leaq 0x1e55b(%rip), %rdi     # 0x32bfa
leaq 0x1cc92(%rip), %rsi     # 0x31338
leaq 0x1e555(%rip), %rcx     # 0x32c02
movl $0x19e5, %edx           # imm = 0x19E5
callq 0xa1a0
leaq 0x1e5c3(%rip), %rdi     # 0x32c81
leaq 0x1cc73(%rip), %rsi     # 0x31338
leaq 0x1e536(%rip), %rcx     # 0x32c02
movl $0x19e7, %edx           # imm = 0x19E7
callq 0xa1a0
leaq 0x1e5d9(%rip), %rdi     # 0x32cb6
leaq 0x1cc54(%rip), %rsi     # 0x31338
leaq 0x1e517(%rip), %rcx     # 0x32c02
movl $0x19ef, %edx           # imm = 0x19EF
callq 0xa1a0
nop