cpp/numeric/random/piecewise constant distribution/max