1933     bits32 rem0, rem1, rem2, rem3, term0, term1, term2, term3;  in float64_div()  local
1981     sub96( aSig0, aSig1, 0, term0, term1, term2, &rem0, &rem1, &rem2 );  in float64_div()
1984         add96( rem0, rem1, rem2, 0, bSig0, bSig1, &rem0, &rem1, &rem2 );  in float64_div()
1986     zSig1 = estimateDiv64To32( rem1, rem2, bSig0 );  in float64_div()
1989         sub96( rem1, rem2, 0, term1, term2, term3, &rem1, &rem2, &rem3 );  in float64_div()
1992             add96( rem1, rem2, rem3, 0, bSig0, bSig1, &rem1, &rem2, &rem3 );  in float64_div()
1994         zSig1 |= ( ( rem1 | rem2 | rem3 ) != 0 );  in float64_div()
2119     bits32 rem0, rem1, rem2, rem3, term0, term1, term2, term3;  in float64_sqrt()  local
2159         sub64( rem1, 0, term1, term2, &rem1, &rem2 );  in float64_sqrt()
2161         sub96( rem1, rem2, 0, 0, term2, term3, &rem1, &rem2, &rem3 );  in float64_sqrt()
2167             add96( rem1, rem2, rem3, 0, term2, term3, &rem1, &rem2, &rem3 );  in float64_sqrt()
2169         zSig1 |= ( ( rem1 | rem2 | rem3 ) != 0 );  in float64_sqrt()