* Calculation of the quotient estimate. This is Scalar division
and can be ignored for the scope of this analysis
* Big Integer multiply and subtract.
-* Carry-Correction with a big integer add if the estimate was wrong
- by one digit.
+* Carry-Correction with a big integer add, if the estimate from
+ phase 1 was wrong by one digit.
+
+In essence then the primary focus of Vectorised Big-Int divide is in
+fact big-integer multiply (or, mul-and-subtract).