800     int16 expDiff;  in addFloat32Sigs()  local
806     expDiff = aExp - bExp;  in addFloat32Sigs()
809     if ( 0 < expDiff ) {  in addFloat32Sigs()
815             --expDiff;  in addFloat32Sigs()
820         shift32RightJamming( bSig, expDiff, &bSig );  in addFloat32Sigs()
823     else if ( expDiff < 0 ) {  in addFloat32Sigs()
829             ++expDiff;  in addFloat32Sigs()
834         shift32RightJamming( aSig, - expDiff, &aSig );  in addFloat32Sigs()
872     int16 expDiff;  in subFloat32Sigs()  local
878     expDiff = aExp - bExp;  in subFloat32Sigs()
881     if ( 0 < expDiff ) goto aExpBigger;  in subFloat32Sigs()
882     if ( expDiff < 0 ) goto bExpBigger;  in subFloat32Sigs()
901         ++expDiff;  in subFloat32Sigs()
906     shift32RightJamming( aSig, - expDiff, &aSig );  in subFloat32Sigs()
919         --expDiff;  in subFloat32Sigs()
924     shift32RightJamming( bSig, expDiff, &bSig );  in subFloat32Sigs()
1118     int16 aExp, bExp, expDiff;  in float32_rem()  local
1150     expDiff = aExp - bExp;  in float32_rem()
1153     if ( expDiff < 0 ) {  in float32_rem()
1154         if ( expDiff < -1 ) return a;  in float32_rem()
1159     expDiff -= 32;  in float32_rem()
1160     while ( 0 < expDiff ) {  in float32_rem()
1164         expDiff -= 30;  in float32_rem()
1166     expDiff += 32;  in float32_rem()
1167     if ( 0 < expDiff ) {  in float32_rem()
1170         q >>= 32 - expDiff;  in float32_rem()
1172         aSig = ( ( aSig>>1 )<<( expDiff - 1 ) ) - bSig * q;  in float32_rem()
1679     int16 expDiff;  in addFloat64Sigs()  local
1687     expDiff = aExp - bExp;  in addFloat64Sigs()
1688     if ( 0 < expDiff ) {  in addFloat64Sigs()
1694             --expDiff;  in addFloat64Sigs()
1700             bSig0, bSig1, 0, expDiff, &bSig0, &bSig1, &zSig2 );  in addFloat64Sigs()
1703     else if ( expDiff < 0 ) {  in addFloat64Sigs()
1709             ++expDiff;  in addFloat64Sigs()
1715             aSig0, aSig1, 0, - expDiff, &aSig0, &aSig1, &zSig2 );  in addFloat64Sigs()
1757     int16 expDiff;  in subFloat64Sigs()  local
1765     expDiff = aExp - bExp;  in subFloat64Sigs()
1768     if ( 0 < expDiff ) goto aExpBigger;  in subFloat64Sigs()
1769     if ( expDiff < 0 ) goto bExpBigger;  in subFloat64Sigs()
1792         ++expDiff;  in subFloat64Sigs()
1797     shift64RightJamming( aSig0, aSig1, - expDiff, &aSig0, &aSig1 );  in subFloat64Sigs()
1810         --expDiff;  in subFloat64Sigs()
1815     shift64RightJamming( bSig0, bSig1, expDiff, &bSig0, &bSig1 );  in subFloat64Sigs()
2023     int16 aExp, bExp, expDiff;  in float64_rem()  local
2060     expDiff = aExp - bExp;  in float64_rem()
2061     if ( expDiff < -1 ) return a;  in float64_rem()
2063         aSig0 | 0x00100000, aSig1, 11 - ( expDiff < 0 ), &aSig0, &aSig1 );  in float64_rem()
2067     expDiff -= 32;  in float64_rem()
2068     while ( 0 < expDiff ) {  in float64_rem()
2075         expDiff -= 29;  in float64_rem()
2077     if ( -32 < expDiff ) {  in float64_rem()
2080         q >>= - expDiff;  in float64_rem()
2082         expDiff += 24;  in float64_rem()
2083         if ( expDiff < 0 ) {  in float64_rem()
2084             shift64Right( aSig0, aSig1, - expDiff, &aSig0, &aSig1 );  in float64_rem()
2087             shortShift64Left( aSig0, aSig1, expDiff, &aSig0, &aSig1 );  in float64_rem()