tree ce2232ba8a09287899af1ac07af0c902800bfae6
parent 9c28ed05c95cb6854d917ac3e3ed7be9ae109480
author Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1563390024 -0300
committer Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1563390024 -0300

'math.randomseed()' returns the seeds it used

A call to 'math.randomseed()' returns the two components of the seed
it set, so that they can be used to set that same seed again.