Re: [boost] boost::random overflow bug