Re: [pypy-dev] random numbers