shift64RightJamming
shift64RightJamming( aSig0, aSig1, 22, &allZero, &zSig );
shift64RightJamming( aSig0, aSig1, - expDiff, &aSig0, &aSig1 );
shift64RightJamming( bSig0, bSig1, expDiff, &bSig0, &bSig1 );
shift64RightJamming( absA, - shiftCount, &absA );
if ( 0 < shiftCount ) shift64RightJamming( aSig64, shiftCount, &aSig64 );
shift64RightJamming( ( (bits64) aSig ) * bSig, 32, &zSig64 );
if ( 0 < shiftCount ) shift64RightJamming( aSig, shiftCount, &aSig );
shift64RightJamming( aSig, 22, &aSig );
shift64RightJamming( bSig, expDiff, &bSig );
shift64RightJamming( aSig, - expDiff, &aSig );
shift64RightJamming( aSig, - expDiff, &aSig );
shift64RightJamming( bSig, expDiff, &bSig );
shift64RightJamming( aSig, shiftCount, &aSig );
shift64RightJamming( aSig, 33, &aSig );
shift64RightJamming( aSig, 1, &zSig );
if ( 0 < shiftCount ) shift64RightJamming( aSig0, shiftCount, &aSig0 );
shift64RightJamming( aSig0, 18, &aSig0 );
shift64RightJamming( zSig, - zExp, &zSig );
shift64RightJamming( zSig0, 1 - zExp, &zSig0 );