A weibull_distribution random number distribution.
The formula for the normal probability density function is:
Definition at line 4848 of file random.h.