syst_int32_to_float64
float64 syst_int32_to_float64( int32 );
test_a_int32_z_float64( int32_to_float64, syst_int32_to_float64 );