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