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