% -> mod_imp.
Everything working again with Euclidean division.