Update integer.reds

One more