extractFloat64Frac1
aSig1 = extractFloat64Frac1( a );
aSig1 = extractFloat64Frac1( a );
aSig1 = extractFloat64Frac1( a );
&& ( extractFloat64Frac0( a ) | extractFloat64Frac1( a ) ) ) {
&& ( extractFloat64Frac0( a ) | extractFloat64Frac1( a ) )
aSig1 = extractFloat64Frac1( a );
bSig1 = extractFloat64Frac1( b );
aSig1 = extractFloat64Frac1( a );
bSig1 = extractFloat64Frac1( b );
aSig1 = extractFloat64Frac1( a );
bSig1 = extractFloat64Frac1( b );
aSig1 = extractFloat64Frac1( a );
bSig1 = extractFloat64Frac1( b );
aSig1 = extractFloat64Frac1( a );
bSig1 = extractFloat64Frac1( b );
aSig1 = extractFloat64Frac1( 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 ) ) )