Update integer.reds

Start with a simple value + 1