syst_int32_to_float32
float32 syst_int32_to_float32( int32 );
test_a_int32_z_float32( int32_to_float32, syst_int32_to_float32 );