A extreme_value_distribution random number distribution.
The formula for the normal probability mass function is
Definition at line 5053 of file random.h.