add auto-resize to IntList.increment()