// File: 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 %rbp
movq %rsp, %rbp
subq $0x90, %rsp
movq %rdi, -0x8(%rbp)
movsd %xmm0, -0x10(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0x40(%rbp)
movsd -0x10(%rbp), %xmm0
callq 0x309e0
testb $0x1, %al
jne 0x2fb1c
jmp 0x2fb2c
movsd -0x10(%rbp), %xmm0
callq 0x30a20
testb $0x1, %al
jne 0x2fb2c
jmp 0x2fb4f
movq -0x40(%rbp), %rdi
callq 0x2ecc0
movq %rax, %rdi
movq (%rdi), %rax
leaq 0x6035c(%rip), %rsi     # 0x8fe9e
movl $0x4, %edx
callq *0x8(%rax)
jmp 0x2fe48
movsd -0x10(%rbp), %xmm0
xorps %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jne 0x2fbb2
jp 0x2fbb2
movsd -0x10(%rbp), %xmm0
callq 0x30a40
testb $0x1, %al
jne 0x2fb6f
jmp 0x2fb8f
movq -0x40(%rbp), %rdi
callq 0x2ecc0
movq %rax, %rdi
movq (%rdi), %rax
leaq 0x61df3(%rip), %rsi     # 0x91978
movl $0x4, %edx
callq *0x8(%rax)
jmp 0x2fbad
movq -0x40(%rbp), %rdi
callq 0x2ecc0
movq %rax, %rdi
movq (%rdi), %rax
leaq 0x61dd4(%rip), %rsi     # 0x91979
movl $0x3, %edx
callq *0x8(%rax)
jmp 0x2fe48
movq -0x40(%rbp), %rdi
addq $0x10, %rdi
callq 0x308d0
movq -0x40(%rbp), %rdi
movq %rax, -0x48(%rbp)
addq $0x10, %rdi
callq 0x30830
movq -0x48(%rbp), %rdi
movq %rax, %rsi
movsd -0x10(%rbp), %xmm0
leaq 0x61d9a(%rip), %rdx     # 0x9197d
movl $0xf, %ecx
movb $0x1, %al
callq 0xc6f0
cltq
movq %rax, -0x18(%rbp)
cmpq $0x0, -0x18(%rbp)
jle 0x2fbfe
jmp 0x2fc1d
leaq 0x61d7d(%rip), %rdi     # 0x91982
leaq 0x5fa3d(%rip), %rsi     # 0x8f649
movl $0x19e5, %edx           # imm = 0x19E5
leaq 0x61d72(%rip), %rcx     # 0x9198a
callq 0xc290
movq -0x40(%rbp), %rdi
movq -0x18(%rbp), %rax
movq %rax, -0x50(%rbp)
addq $0x10, %rdi
callq 0x30830
movq %rax, %rcx
movq -0x50(%rbp), %rax
cmpq %rcx, %rax
jae 0x2fc40
jmp 0x2fc5f
leaq 0x61dc2(%rip), %rdi     # 0x91a09
leaq 0x5f9fb(%rip), %rsi     # 0x8f649
movl $0x19e7, %edx           # imm = 0x19E7
leaq 0x61d30(%rip), %rcx     # 0x9198a
callq 0xc290
movq -0x40(%rbp), %rax
movsbl 0x58(%rax), %eax
cmpl $0x0, %eax
je 0x2fd3c
movq -0x40(%rbp), %rdi
addq $0x10, %rdi
callq 0x308b0
movq -0x40(%rbp), %rdi
movq %rax, -0x68(%rbp)
addq $0x10, %rdi
callq 0x308b0
movq -0x68(%rbp), %rdi
movq -0x40(%rbp), %rdx
movq %rax, %rsi
addq -0x18(%rbp), %rsi
addq $0x58, %rdx
callq 0x30a60
movq -0x40(%rbp), %rdi
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movq %rax, -0x60(%rbp)
addq $0x10, %rdi
callq 0x30ae0
movq -0x60(%rbp), %rdi
movq %rax, %rsi
movb $0x0, -0x21(%rbp)
leaq -0x21(%rbp), %rdx
callq 0x30ab0
movq -0x40(%rbp), %rdi
movq -0x20(%rbp), %rax
movq %rax, -0x58(%rbp)
addq $0x10, %rdi
callq 0x308b0
movq %rax, %rcx
movq -0x58(%rbp), %rax
subq %rcx, %rax
cmpq -0x18(%rbp), %rax
jg 0x2fcfa
jmp 0x2fd19
leaq 0x61d3d(%rip), %rdi     # 0x91a3e
leaq 0x5f941(%rip), %rsi     # 0x8f649
movl $0x19ef, %edx           # imm = 0x19EF
leaq 0x61c76(%rip), %rcx     # 0x9198a
callq 0xc290
movq -0x40(%rbp), %rdi
movq -0x20(%rbp), %rax
movq %rax, -0x70(%rbp)
addq $0x10, %rdi
callq 0x308b0
movq %rax, %rcx
movq -0x70(%rbp), %rax
subq %rcx, %rax
movq %rax, -0x18(%rbp)
movq -0x40(%rbp), %rax
movsbl 0x59(%rax), %eax
cmpl $0x0, %eax
je 0x2fdb6
movq -0x40(%rbp), %rax
movsbl 0x59(%rax), %eax
cmpl $0x2e, %eax
je 0x2fdb6
movq -0x40(%rbp), %rdi
addq $0x10, %rdi
callq 0x308b0
movq -0x40(%rbp), %rdi
movq %rax, -0x80(%rbp)
addq $0x10, %rdi
callq 0x30ae0
movq -0x80(%rbp), %rdi
movq -0x40(%rbp), %rdx
movq %rax, %rsi
addq $0x59, %rdx
callq 0x30b00
movq -0x40(%rbp), %rdi
movq %rax, -0x30(%rbp)
movq -0x30(%rbp), %rax
movq %rax, -0x78(%rbp)
addq $0x10, %rdi
callq 0x30ae0
movq %rax, %rcx
movq -0x78(%rbp), %rax
cmpq %rcx, %rax
je 0x2fdb4
movq -0x30(%rbp), %rax
movb $0x2e, (%rax)
jmp 0x2fdb6
movq -0x40(%rbp), %rdi
callq 0x2ecc0
movq -0x40(%rbp), %rdi
movq %rax, -0x90(%rbp)
addq $0x10, %rdi
callq 0x308d0
movq -0x90(%rbp), %rdi
movq %rax, %rsi
movq -0x18(%rbp), %rdx
movq (%rdi), %rax
callq *0x8(%rax)
movq -0x40(%rbp), %rdi
addq $0x10, %rdi
callq 0x308b0
movq -0x40(%rbp), %rdi
movq %rax, -0x88(%rbp)
addq $0x10, %rdi
callq 0x308b0
movq -0x88(%rbp), %rdi
movq %rax, %rsi
addq -0x18(%rbp), %rsi
addq $0x1, %rsi
callq 0x30b50
andb $0x1, %al
movb %al, -0x31(%rbp)
testb $0x1, -0x31(%rbp)
je 0x2fe48
movq -0x40(%rbp), %rdi
callq 0x2ecc0
movq %rax, %rdi
movq (%rdi), %rax
leaq 0x61b3a(%rip), %rsi     # 0x9197a
movl $0x2, %edx
callq *0x8(%rax)
addq $0x90, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)
nopl (%rax,%rax)