syst_int64_to_float128
float128 syst_int64_to_float128( int64 );
test_a_int64_z_float128( int64_to_float128, syst_int64_to_float128 );