int64_to_float64
#define int64_to_float64 _softfloat_int64_to_float64
#define int64_to_float64 _softfloat_int64_to_float64
float64 int64_to_float64( int64 a )
#define int64_to_float64 __floatdidf
float64 int64_to_float64( int64 a )