a = b*q + r
and
0 <= r <= b (where b in this case is zero).