[Boost-users] boost::random::normal_distribution