extractFloat64Frac0
aSig0 = extractFloat64Frac0( a );
aSig0 = extractFloat64Frac0( a );
aSig0 = extractFloat64Frac0( a );
&& ( extractFloat64Frac0( a ) | extractFloat64Frac1( a ) ) ) {
&& ( extractFloat64Frac0( a ) | extractFloat64Frac1( a ) )
aSig0 = extractFloat64Frac0( a );
bSig0 = extractFloat64Frac0( b );
aSig0 = extractFloat64Frac0( a );
bSig0 = extractFloat64Frac0( b );
aSig0 = extractFloat64Frac0( a );
bSig0 = extractFloat64Frac0( b );
aSig0 = extractFloat64Frac0( a );
bSig0 = extractFloat64Frac0( b );
aSig0 = extractFloat64Frac0( a );
bSig0 = extractFloat64Frac0( b );
aSig0 = extractFloat64Frac0( a );
&& ( extractFloat64Frac0( a ) | extractFloat64Frac1( a ) ) )
&& ( extractFloat64Frac0( b ) | extractFloat64Frac1( b ) ) )
&& ( extractFloat64Frac0( a ) | extractFloat64Frac1( a ) ) )
&& ( extractFloat64Frac0( b ) | extractFloat64Frac1( b ) ) )
&& ( extractFloat64Frac0( a ) | extractFloat64Frac1( a ) ) )
&& ( extractFloat64Frac0( b ) | extractFloat64Frac1( b ) ) )
&& ( extractFloat64Frac0( a ) | extractFloat64Frac1( a ) ) )
&& ( extractFloat64Frac0( b ) | extractFloat64Frac1( b ) ) )
&& ( extractFloat64Frac0( a ) | extractFloat64Frac1( a ) ) )
&& ( extractFloat64Frac0( b ) | extractFloat64Frac1( b ) ) )
&& ( extractFloat64Frac0( a ) | extractFloat64Frac1( a ) ) )
&& ( extractFloat64Frac0( b ) | extractFloat64Frac1( b ) ) )