cpp/numeric/random/random device/max