Rewrite divmod fixer