syst_float128_eq
flag syst_float128_eq( float128, float128 );
test_ab_float128_z_flag( float128_eq, syst_float128_eq );