Simplifying integers