propagateFloatx80NaN
return propagateFloatx80NaN( a, a );
if ( (bits64) ( aSig<<1 ) ) return propagateFloatx80NaN( a, b );
if ( (bits64) ( bSig<<1 ) ) return propagateFloatx80NaN( a, b );
return propagateFloatx80NaN( a, b );
return propagateFloatx80NaN( a, b );
if ( (bits64) ( bSig<<1 ) ) return propagateFloatx80NaN( a, b );
if ( (bits64) ( aSig<<1 ) ) return propagateFloatx80NaN( a, b );
return propagateFloatx80NaN( a, b );
if ( (bits64) ( bSig<<1 ) ) return propagateFloatx80NaN( a, b );
if ( (bits64) ( aSig<<1 ) ) return propagateFloatx80NaN( a, b );
if ( (bits64) ( bSig<<1 ) ) return propagateFloatx80NaN( a, b );
if ( (bits64) ( bSig<<1 ) ) return propagateFloatx80NaN( a, b );
return propagateFloatx80NaN( a, b );
if ( (bits64) ( bSig<<1 ) ) return propagateFloatx80NaN( a, b );
if ( (bits64) ( aSig0<<1 ) ) return propagateFloatx80NaN( a, a );
return propagateFloatx80NaN( a, a );
if ( (bits64) ( aSig<<1 ) ) return propagateFloatx80NaN( a, b );
if ( (bits64) ( bSig<<1 ) ) return propagateFloatx80NaN( a, b );
return propagateFloatx80NaN( a, b );
return propagateFloatx80NaN( a, b );
if ( (bits64) ( bSig<<1 ) ) return propagateFloatx80NaN( a, b );
if ( (bits64) ( aSig<<1 ) ) return propagateFloatx80NaN( a, b );
return propagateFloatx80NaN( a, b );
if ( (bits64) ( bSig<<1 ) ) return propagateFloatx80NaN( a, b );
if ( (bits64) ( aSig<<1 ) ) return propagateFloatx80NaN( a, b );
if ( (bits64) ( bSig<<1 ) ) return propagateFloatx80NaN( a, b );
if ( (bits64) ( bSig<<1 ) ) return propagateFloatx80NaN( a, b );
return propagateFloatx80NaN( a, b );
if ( (bits64) ( bSig<<1 ) ) return propagateFloatx80NaN( a, b );
if ( (bits64) ( aSig0<<1 ) ) return propagateFloatx80NaN( a, a );