extractFloat128Frac0
aSig0 = extractFloat128Frac0( a );
aSig0 = extractFloat128Frac0( a );
aSig0 = extractFloat128Frac0( a );
aSig0 = extractFloat128Frac0( a );
aSig0 = extractFloat128Frac0( a );
aSig0 = extractFloat128Frac0( a );
aSig0 = extractFloat128Frac0( a );
&& ( extractFloat128Frac0( a ) | extractFloat128Frac1( a ) )
&& ( extractFloat128Frac0( a )
aSig0 = extractFloat128Frac0( a );
bSig0 = extractFloat128Frac0( b );
aSig0 = extractFloat128Frac0( a );
bSig0 = extractFloat128Frac0( b );
aSig0 = extractFloat128Frac0( a );
bSig0 = extractFloat128Frac0( b );
aSig0 = extractFloat128Frac0( a );
bSig0 = extractFloat128Frac0( b );
aSig0 = extractFloat128Frac0( a );
bSig0 = extractFloat128Frac0( b );
aSig0 = extractFloat128Frac0( 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 ) ) )