syst_int64_to_float32
float32 syst_int64_to_float32( int64 );
test_a_int64_z_float32( int64_to_float32, syst_int64_to_float32 );