Re: [Boost-users] Boost Random Numbers: Normal Distribution