Ported RandomSeq and StdRandom