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