Edit to the divmod enhancement