Update integer.reds

random-mt