Symbol: int64_to_float64
lib/libc/softfloat/softfloat-for-gcc.h
35
#define int64_to_float64 __floatdidf
sys/lib/libkern/softfloat.c
1304
float64 int64_to_float64( int64 a )