Update integer.reds

random-get-result generalized version still without seed refinement