floatx80_lt_quiet_internal
flag floatx80_lt_quiet_internal( floatx80, floatx80 );
return floatx80_lt_quiet_internal(a, b) ? -1 : 1;