math/mp-sqrt.c: Explain the algorithm, and particularly the end condition.