Re: [Pharo-dev] Random number generator bug?