cpp/numeric/random/normal distribution/operator cmp