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