[boost] [random] Rician and Weibull distributions