// File: /workspace/github_cpp_makefile_star2_O2/TBody[P]atomicpp/atomicpp/ExternalModules/json.hpp
// Function: bool 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>::lexer::strtonum::parse<double>(double&, std::integral_constant<bool, false>) const
bool parse(T& value, /*is_integral=*/std::false_type) const
            {
                // replace decimal separator with locale-specific version,
                // when necessary; data will point to either the original
                // string, or buf, or tempstr containing the fixed string.
                std::string tempstr;
                std::array<char, 64> buf;
                const size_t len = static_cast<size_t>(m_end - m_start);

                // lexer will reject empty numbers
                assert(len > 0);

                // since dealing with strtod family of functions, we're
                // getting the decimal point char from the C locale facilities
                // instead of C++'s numpunct facet of the current std::locale
                const auto loc = localeconv();
                assert(loc != nullptr);
                const char decimal_point_char = (loc->decimal_point == nullptr) ? '.' : loc->decimal_point[0];

                const char* data = m_start;

                if (decimal_point_char != '.')
                {
                    const size_t ds_pos = static_cast<size_t>(std::find(m_start, m_end, '.') - m_start);

                    if (ds_pos != len)
                    {
                        // copy the data into the local buffer or tempstr, if
                        // buffer is too small; replace decimal separator, and
                        // update data to point to the modified bytes
                        if ((len + 1) < buf.size())
                        {
                            std::copy(m_start, m_end, buf.begin());
                            buf[len] = 0;
                            buf[ds_pos] = decimal_point_char;
                            data = buf.data();
                        }
                        else
                        {
                            tempstr.assign(m_start, m_end);
                            tempstr[ds_pos] = decimal_point_char;
                            data = tempstr.c_str();
                        }
                    }
                }

                char* endptr = nullptr;
                value = 0;
                // this calls appropriate overload depending on T
                strtof(value, data, &endptr);

                // parsing was successful iff strtof parsed exactly the number
                // of characters determined by the lexer (len)
                const bool ok = (endptr == (data + len));

                if (ok and (value == static_cast<T>(0.0)) and (*data == '-'))
                {
                    // some implementations forget to negate the zero
                    value = -0.0;
                }

                return ok;
            }

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x78, %rsp
movq %rsi, %rbx
movq %rdi, %r13
leaq -0x58(%rbp), %rdi
callq 0x4300
movq 0x8(%r13), %r14
subq (%r13), %r14
je 0xac89
callq 0x4610
testq %rax, %rax
je 0xaca8
movq (%rax), %rax
testq %rax, %rax
je 0xabef
movb (%rax), %al
movq (%r13), %r12
cmpb $0x2e, %al
je 0xac20
movb %al, -0x29(%rbp)
movq 0x8(%r13), %rsi
leaq -0x38(%rbp), %rdx
movb $0x2e, (%rdx)
movq %r12, %rdi
callq 0xacdd
movq %rax, %r15
subq (%r13), %r15
cmpq %r14, %r15
je 0xac20
leaq 0x1(%r14), %r12
leaq -0x98(%rbp), %rdi
callq 0xad04
movq (%r13), %rsi
movq 0x8(%r13), %r13
cmpq %rax, %r12
jae 0xabf5
leaq -0x98(%rbp), %rdi
movq %rsi, %r12
callq 0xad4c
movq %r12, %rdi
movq %r13, %rsi
movq %rax, %rdx
callq 0xad14
leaq -0x98(%rbp), %r12
movq %r12, %rdi
movq %r14, %rsi
callq 0xad56
movb $0x0, (%rax)
movq %r12, %rdi
movq %r15, %rsi
callq 0xad56
movb -0x29(%rbp), %cl
movb %cl, (%rax)
movq %r12, %rdi
callq 0xad60
jmp 0xac1d
movq (%r13), %r12
jmp 0xac20
leaq -0x58(%rbp), %rdi
movq %r13, %rdx
callq 0xad6a
leaq -0x58(%rbp), %r12
movq %r12, %rdi
movq %r15, %rsi
callq 0x4640
movb -0x29(%rbp), %cl
movb %cl, (%rax)
movq %r12, %rdi
callq 0x4180
movq %rax, %r12
leaq -0x38(%rbp), %r15
andq $0x0, (%r15)
andq $0x0, (%rbx)
movq %rbx, %rdi
movq %r12, %rsi
movq %r15, %rdx
callq 0xaddc
movq (%r15), %rax
addq %r12, %r14
cmpq %r14, %rax
jne 0xac69
movsd (%rbx), %xmm0
xorpd %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jne 0xac69
jp 0xac69
cmpb $0x2d, (%r12)
jne 0xac69
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
movq %rcx, (%rbx)
cmpq %r14, %rax
sete %bl
leaq -0x58(%rbp), %rdi
callq 0x41a0
movl %ebx, %eax
addq $0x78, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x1780e(%rip), %rdi     # 0x2249e
leaq 0x1655e(%rip), %rsi     # 0x211f5
leaq 0x17808(%rip), %rcx     # 0x224a6
movl $0x2b91, %edx           # imm = 0x2B91
callq 0x4210
leaq 0x17961(%rip), %rdi     # 0x22610
leaq 0x1653f(%rip), %rsi     # 0x211f5
leaq 0x177e9(%rip), %rcx     # 0x224a6
movl $0x2b97, %edx           # imm = 0x2B97
callq 0x4210
jmp 0xacc9
movq %rax, %rbx
leaq -0x58(%rbp), %rdi
callq 0x41a0
movq %rbx, %rdi
callq 0x45a0