Hi,

On Mon, Feb 22, 2016 at 11:30 PM, Yasuo Ohgaki <yohg...@ohgaki.net> wrote:

>
> IMO, we should provide better pseudo random generators than now.
>

We already have a better PRNG in random_int().

Cheers,
Andrey.

Reply via email to