floatx80_is_nan
flag floatx80_is_nan( floatx80 );
aIsNaN = floatx80_is_nan( a );
bIsNaN = floatx80_is_nan( b );