cpp/numeric/random/normal distribution/min