int64_to_float32
float32 int64_to_float32( long long ) __dso_protected;
time_a_int64_z_float32( int64_to_float32 );
raw = int64_to_float32((int64_t)raw);
float32 int64_to_float32( int64_t );