Update integer.reds

Start with a simple + 1