Update integer.reds

comment changed