Update integer.reds

Tried this