int32_to_float64
float64 int32_to_float64( int ) __dso_protected;
time_a_int32_z_float64( int32_to_float64 );
dest->dbl = int32_to_float64(tmp);
dest->dbl = int32_to_float64(tmp);
raw = int32_to_float64((int32_t)raw);
float64 int32_to_float64( int );