这里我假设使用Intel x86_64。在这些情况下，您通常会使用cvtsi2sd来处理符号
https://www.felixcloutier.com/x86/cvtsi2sd

//
// prototype: double convert(uint64_t value)
//
convert(unsigned long):        
        testq   %rdi, %rdi
        js      .Negative
        pxor    %xmm0, %xmm0
        cvtsi2sdq       %rdi, %xmm0
        ret
.Negative:
        movq    %rdi, %rax
        andl    $1, %edi
        pxor    %xmm0, %xmm0
        shrq    %rax
        orq     %rdi, %rax
        cvtsi2sdq       %rax, %xmm0
        addsd   %xmm0, %xmm0
        ret

基本上，因为cvtsi2sdq取整数signed，所以很明显，必须将uint64_t视为负数。
基本上，这段代码的作用类似于：

double signed_convert( int64_t value ); // trivial

double convert( uint64_t value ) {
   if ( value>>63 == 0 ) return signed_convert( value );
   double half = signed_convert( (value>>1) | (value&1) );
   return 2*half;
}