float128_is_nan
flag float128_is_nan( float128 );
flag float128_is_nan( float128 );
flag float128_is_nan( float128 );
aIsNaN = float128_is_nan( a );
bIsNaN = float128_is_nan( b );