estimateDiv128To64
q64 = estimateDiv128To64( aSig64, 0, bSig64 );
q64 = estimateDiv128To64( aSig64, 0, bSig64 );
zSig = estimateDiv128To64( aSig, 0, bSig );
q = estimateDiv128To64( aSig, 0, bSig );
q = estimateDiv128To64( aSig, 0, bSig );
zSig = estimateDiv128To64( aSig, 0, zSig ) + zSig + 2;
zSig0 = estimateDiv128To64( aSig, rem1, bSig );
zSig1 = estimateDiv128To64( rem1, 0, bSig );
q = estimateDiv128To64( aSig0, aSig1, bSig );
q = estimateDiv128To64( aSig0, aSig1, bSig );
zSig0 = estimateDiv128To64( aSig0, aSig1, zSig0 ) + zSig0 + 4;
zSig1 = estimateDiv128To64( shiftedRem0, shiftedRem1, zSig0 );
static bits64 estimateDiv128To64(bits64 a0, bits64 a1, bits64 b);
zSig = estimateDiv128To64(aSig, 0, bSig);