cpp/numeric/random/cauchy distribution/operator cmp