cpp/numeric/random/weibull distribution/operator cmp