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