floatx80_le_quiet_internal
flag floatx80_le_quiet_internal( floatx80, floatx80 );
return !floatx80_le_quiet_internal(a, b);