abandoning divMod for now