Re:Re: [Boost-users] boost::normal_distribution in boost 1.32