6.36 RM A.5.2(46-47): Random Number Generation

"Any storage associated with an object of type Generator should be reclaimed on exit from the scope of the object."

Followed.

"If the generator period is sufficiently long in relation to the number of distinct initiator values, then each possible value of Initiator passed to Reset should initiate a sequence of random numbers that does not, in a practical sense, overlap the sequence initiated by any other value. If this is not possible, then the mapping between initiator values and generator states should be a rapidly varying function of the initiator value."

Followed. The generator period is sufficiently long for the first condition here to hold true.