Re: [boost] Some modifications to the Boost random library