789     int16 expDiff;  in addFloat32Sigs()  local
795     expDiff = aExp - bExp;  in addFloat32Sigs()
798     if ( 0 < expDiff ) {  in addFloat32Sigs()
804             --expDiff;  in addFloat32Sigs()
809         shift32RightJamming( bSig, expDiff, &bSig );  in addFloat32Sigs()
812     else if ( expDiff < 0 ) {  in addFloat32Sigs()
818             ++expDiff;  in addFloat32Sigs()
823         shift32RightJamming( aSig, - expDiff, &aSig );  in addFloat32Sigs()
861     int16 expDiff;  in subFloat32Sigs()  local
867     expDiff = aExp - bExp;  in subFloat32Sigs()
870     if ( 0 < expDiff ) goto aExpBigger;  in subFloat32Sigs()
871     if ( expDiff < 0 ) goto bExpBigger;  in subFloat32Sigs()
890         ++expDiff;  in subFloat32Sigs()
895     shift32RightJamming( aSig, - expDiff, &aSig );  in subFloat32Sigs()
908         --expDiff;  in subFloat32Sigs()
913     shift32RightJamming( bSig, expDiff, &bSig );  in subFloat32Sigs()
1107     int16 aExp, bExp, expDiff;  in float32_rem()  local
1139     expDiff = aExp - bExp;  in float32_rem()
1142     if ( expDiff < 0 ) {  in float32_rem()
1143         if ( expDiff < -1 ) return a;  in float32_rem()
1148     expDiff -= 32;  in float32_rem()
1149     while ( 0 < expDiff ) {  in float32_rem()
1153         expDiff -= 30;  in float32_rem()
1155     expDiff += 32;  in float32_rem()
1156     if ( 0 < expDiff ) {  in float32_rem()
1159         q >>= 32 - expDiff;  in float32_rem()
1161         aSig = ( ( aSig>>1 )<<( expDiff - 1 ) ) - bSig * q;  in float32_rem()
1668     int16 expDiff;  in addFloat64Sigs()  local
1676     expDiff = aExp - bExp;  in addFloat64Sigs()
1677     if ( 0 < expDiff ) {  in addFloat64Sigs()
1683             --expDiff;  in addFloat64Sigs()
1689             bSig0, bSig1, 0, expDiff, &bSig0, &bSig1, &zSig2 );  in addFloat64Sigs()
1692     else if ( expDiff < 0 ) {  in addFloat64Sigs()
1698             ++expDiff;  in addFloat64Sigs()
1704             aSig0, aSig1, 0, - expDiff, &aSig0, &aSig1, &zSig2 );  in addFloat64Sigs()
1746     int16 expDiff;  in subFloat64Sigs()  local
1754     expDiff = aExp - bExp;  in subFloat64Sigs()
1757     if ( 0 < expDiff ) goto aExpBigger;  in subFloat64Sigs()
1758     if ( expDiff < 0 ) goto bExpBigger;  in subFloat64Sigs()
1781         ++expDiff;  in subFloat64Sigs()
1786     shift64RightJamming( aSig0, aSig1, - expDiff, &aSig0, &aSig1 );  in subFloat64Sigs()
1799         --expDiff;  in subFloat64Sigs()
1804     shift64RightJamming( bSig0, bSig1, expDiff, &bSig0, &bSig1 );  in subFloat64Sigs()
2012     int16 aExp, bExp, expDiff;  in float64_rem()  local
2049     expDiff = aExp - bExp;  in float64_rem()
2050     if ( expDiff < -1 ) return a;  in float64_rem()
2052         aSig0 | 0x00100000, aSig1, 11 - ( expDiff < 0 ), &aSig0, &aSig1 );  in float64_rem()
2056     expDiff -= 32;  in float64_rem()
2057     while ( 0 < expDiff ) {  in float64_rem()
2064         expDiff -= 29;  in float64_rem()
2066     if ( -32 < expDiff ) {  in float64_rem()
2069         q >>= - expDiff;  in float64_rem()
2071         expDiff += 24;  in float64_rem()
2072         if ( expDiff < 0 ) {  in float64_rem()
2073             shift64Right( aSig0, aSig1, - expDiff, &aSig0, &aSig1 );  in float64_rem()
2076             shortShift64Left( aSig0, aSig1, expDiff, &aSig0, &aSig1 );  in float64_rem()