Implement aux.mod() function.
Use aux.mod().
Remove aux.divide32_prepare().