2180     bits64 term0, term1;  in float64_div()  local
2226         mul64To128( bSig, zSig, &term0, &term1 );  in float64_div()
2227         sub128( aSig, 0, term0, term1, &rem0, &rem1 );  in float64_div()
2336     bits64 rem0, rem1, term0, term1; //, shiftedRem;  in float64_sqrt()  local
2369             mul64To128( zSig, zSig, &term0, &term1 );  in float64_sqrt()
2370             sub128( aSig, 0, term0, term1, &rem0, &rem1 );  in float64_sqrt()
2373                 shortShift128Left( 0, zSig, 1, &term0, &term1 );  in float64_sqrt()
2375                 add128( rem0, rem1, term0, term1, &rem0, &rem1 );  in float64_sqrt()
2992     bits64 rem0, rem1, rem2, term0, term1, term2;  in floatx80_div()  local
3040     mul64To128( bSig, zSig0, &term0, &term1 );  in floatx80_div()
3041     sub128( aSig, rem1, term0, term1, &rem0, &rem1 );  in floatx80_div()
3074     bits64 q, term0, term1, alternateASig0, alternateASig1;  in floatx80_rem()  local
3124         mul64To128( bSig, q, &term0, &term1 );  in floatx80_rem()
3125         sub128( aSig0, aSig1, term0, term1, &aSig0, &aSig1 );  in floatx80_rem()
3134         mul64To128( bSig, q<<( 64 - expDiff ), &term0, &term1 );  in floatx80_rem()
3135         sub128( aSig0, aSig1, term0, term1, &aSig0, &aSig1 );  in floatx80_rem()
3136         shortShift128Left( 0, bSig, 64 - expDiff, &term0, &term1 );  in floatx80_rem()
3137         while ( le128( term0, term1, aSig0, aSig1 ) ) {  in floatx80_rem()
3139             sub128( aSig0, aSig1, term0, term1, &aSig0, &aSig1 );  in floatx80_rem()
3144         term0 = bSig;  in floatx80_rem()
3146     sub128( term0, term1, aSig0, aSig1, &alternateASig0, &alternateASig1 );  in floatx80_rem()
3174     bits64 rem0, rem1, rem2, rem3, term0, term1, term2, term3;  in floatx80_sqrt()  local
3207     mul64To128( zSig0, zSig0, &term0, &term1 );  in floatx80_sqrt()
3208     sub128( aSig0, aSig1, term0, term1, &rem0, &rem1 );  in floatx80_sqrt()
3211         shortShift128Left( 0, zSig0, 1, &term0, &term1 );  in floatx80_sqrt()
3213         add128( rem0, rem1, term0, term1, &rem0, &rem1 );  in floatx80_sqrt()