[Boost-users] [random] Cauchy distribution