add128
add128( z0, more1, 0, z1, &z0, &z1 );
add128( z1, more2, 0, z2, &z1, &z2 );
add128( z0, more1, 0, z1, &z0, &z1 );
add128( more1, more2, 0, z2, &more1, &z2 );
add128( z0, z1, 0, more1, &z0, &z1 );
add128( rem0, rem1, b0, b1, &rem0, &rem1 );
add128( zSig0, zSig1, 0, 1, &zSig0, &zSig1 );
add128( rem0, rem1, 0, bSig, &rem0, &rem1 );
add128( rem0, rem1, zSig>>63, doubleZSig | 1, &rem0, &rem1 );
add128( rem0, rem1, 0, bSig, &rem0, &rem1 );
add128( rem1, rem2, 0, bSig, &rem1, &rem2 );
add128( rem0, rem1, zSig0>>63, doubleZSig0 | 1, &rem0, &rem1 );
add128( z.high, z.low, 0, lastBitMask>>1, &z.high, &z.low );
add128( z.high, z.low, 0, roundBitsMask, &z.high, &z.low );
add128( aSig0, aSig1, bSig0, bSig1, &zSig0, &zSig1 );
add128( aSig0, aSig1, bSig0, bSig1, &zSig0, &zSig1 );
add128( zSig0, zSig1, aSig0, aSig1, &zSig0, &zSig1 );
add128(
add128( rem0, rem1, zSig0>>63, doubleZSig0 | 1, &rem0, &rem1 );