rand_reset ()
Resets the random stream to the last specified seed. See use_random_seed for changing the seed.
use_random_seed
Introduced in v2.7
puts rand puts rand puts rand puts rand rand_reset puts rand
# prints 0.75006103515625 # prints 0.733917236328125 # prints 0.464202880859375 # prints 0.24249267578125 # reset the random stream # prints 0.75006103515625