int64_to_float64
float64 int64_to_float64( long long ) __dso_protected;
time_a_int64_z_float64( int64_to_float64 );
tfc.i = int64_to_float64(tfb.i);
raw = int64_to_float64((int64_t)raw);
float64 int64_to_float64( int64_t );