Progress on changing definition of division, modulus to use the Euclidean definition (q*b + r = a, 0 <= r < |b|).