Re: [Numpy-discussion] Proposal: numpy.random.random_seed