Re: [boost] Random number library