std::extreme_value_distribution(3cxx) on Linux

The text a3bd8200057f, as Debian 12 (Bookworm) shipped it.

A extreme_value_distribution random number distribution.