int32_to_float32
float32 int32_to_float32( int ) __dso_protected;
time_a_int32_z_float32( int32_to_float32 );
dest->sng = int32_to_float32(tmp);
dest->sng = int32_to_float32(tmp);
raw = int32_to_float32((int32_t)raw);
float32 int32_to_float32( int );