syst_floatx80_le_quiet
flag syst_floatx80_le_quiet( floatx80, floatx80 );
test_ab_floatx80_z_flag( floatx80_le_quiet, syst_floatx80_le_quiet );