shift32RightJamming
shift32RightJamming( bSig, expDiff, &bSig );
shift32RightJamming( aSig, - expDiff, &aSig );
shift32RightJamming( aSig, - expDiff, &aSig );
shift32RightJamming( bSig, expDiff, &bSig );
shift32RightJamming( zSig, 1, &zSig );
shift32RightJamming( zSig, - zExp, &zSig );
shift32RightJamming(zSig, -zExp, &zSig);
shift32RightJamming(aSig, -expDiff, &aSig);
shift32RightJamming(bSig, expDiff, &bSig);
shift32RightJamming(bSig, expDiff, &bSig);
shift32RightJamming(aSig, -expDiff, &aSig);
void shift32RightJamming(bits32 a, int16 count, bits32 * zPtr);