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