What would be the right approach to perform a generic long division in base b given the ability:
- to compute additions, multiplications, and subtractions in base b
- given digit $a$ and digit $b$ find digits $q$ and r s.t. $a = q b + r$ with r < $b$
The tricky part is the "guessing" that comes in a long division. Dichotomy is a possibility but seems rather inelegant. Assume $b$ is large enough to make any type of multiplication table lookup impossible.