cpp/numeric/random/extreme value distribution/operator cmp