Re: [Python-Dev] random number generator state