extractFloat128Frac1
aSig1 = extractFloat128Frac1( a );
aSig1 = extractFloat128Frac1( a );
aSig1 = extractFloat128Frac1( a );
aSig1 = extractFloat128Frac1( a );
aSig1 = extractFloat128Frac1( a );
aSig1 = extractFloat128Frac1( a );
aSig1 = extractFloat128Frac1( a );
&& ( extractFloat128Frac0( a ) | extractFloat128Frac1( a ) )
| extractFloat128Frac1( a ) )
aSig1 = extractFloat128Frac1( a );
bSig1 = extractFloat128Frac1( b );
aSig1 = extractFloat128Frac1( a );
bSig1 = extractFloat128Frac1( b );
aSig1 = extractFloat128Frac1( a );
bSig1 = extractFloat128Frac1( b );
aSig1 = extractFloat128Frac1( a );
bSig1 = extractFloat128Frac1( b );
aSig1 = extractFloat128Frac1( a );
bSig1 = extractFloat128Frac1( b );
aSig1 = extractFloat128Frac1( a );
&& ( extractFloat128Frac0( a ) | extractFloat128Frac1( a ) ) )
&& ( extractFloat128Frac0( b ) | extractFloat128Frac1( b ) ) )
&& ( extractFloat128Frac0( a ) | extractFloat128Frac1( a ) ) )
&& ( extractFloat128Frac0( b ) | extractFloat128Frac1( b ) ) )
&& ( extractFloat128Frac0( a ) | extractFloat128Frac1( a ) ) )
&& ( extractFloat128Frac0( b ) | extractFloat128Frac1( b ) ) )
&& ( extractFloat128Frac0( a ) | extractFloat128Frac1( a ) ) )
&& ( extractFloat128Frac0( b ) | extractFloat128Frac1( b ) ) )
&& ( extractFloat128Frac0( a ) | extractFloat128Frac1( a ) ) )
&& ( extractFloat128Frac0( b ) | extractFloat128Frac1( b ) ) )
&& ( extractFloat128Frac0( a ) | extractFloat128Frac1( a ) ) )
&& ( extractFloat128Frac0( b ) | extractFloat128Frac1( b ) ) )