cpp/numeric/random/uniform real distribution/min