Update to efficient moddiv