[Boost-users] [Math/Statistical Distributions+Random] Random number generation