extractFloat128Exp
aExp = extractFloat128Exp( a );
aExp = extractFloat128Exp( a );
aExp = extractFloat128Exp( a );
aExp = extractFloat128Exp( a );
aExp = extractFloat128Exp( a );
aExp = extractFloat128Exp( a );
aExp = extractFloat128Exp( a );
aExp = extractFloat128Exp( a );
aExp = extractFloat128Exp( a );
bExp = extractFloat128Exp( b );
aExp = extractFloat128Exp( a );
bExp = extractFloat128Exp( b );
aExp = extractFloat128Exp( a );
bExp = extractFloat128Exp( b );
aExp = extractFloat128Exp( a );
bExp = extractFloat128Exp( b );
aExp = extractFloat128Exp( a );
bExp = extractFloat128Exp( b );
aExp = extractFloat128Exp( a );
if ( ( ( extractFloat128Exp( a ) == 0x7FFF )
|| ( ( extractFloat128Exp( b ) == 0x7FFF )
if ( ( ( extractFloat128Exp( a ) == 0x7FFF )
|| ( ( extractFloat128Exp( b ) == 0x7FFF )
if ( ( ( extractFloat128Exp( a ) == 0x7FFF )
|| ( ( extractFloat128Exp( b ) == 0x7FFF )
if ( ( ( extractFloat128Exp( a ) == 0x7FFF )
|| ( ( extractFloat128Exp( b ) == 0x7FFF )
if ( ( ( extractFloat128Exp( a ) == 0x7FFF )
|| ( ( extractFloat128Exp( b ) == 0x7FFF )
if ( ( ( extractFloat128Exp( a ) == 0x7FFF )
|| ( ( extractFloat128Exp( b ) == 0x7FFF )