Update integer.reds

add random here too