std::cauchy_distribution(3cxx) on Linux

The text 52bc74ca93ed, as Debian 11 (Bullseye) shipped it.

A cauchy_distribution random number distribution.

std::cauchy_distribution(3cxx) on Linux now