add128
add128( rem0, rem1, 0, bSig, &rem0, &rem1 );
add128( rem0, rem1, term0, term1, &rem0, &rem1 );
add128( rem0, rem1, 0, bSig, &rem0, &rem1 );
add128( rem1, rem2, 0, bSig, &rem1, &rem2 );
add128( rem0, rem1, term0, term1, &rem0, &rem1 );
add128(&remh, &reml, remh, reml, mh, ml);
add128(&remh, &reml, remh, reml, 0, vdm.significand);
add128(&remh, &reml, remh, reml, termh, terml);
add128(rem0, rem1, b0, b1, &rem0, &rem1);
add128(rem0, rem1, 0, bSig, &rem0, &rem1);
void add128(bits64 a0, bits64 a1, bits64 b0, bits64 b1, bits64 * z0Ptr,