Template:cpp/numeric/random/discrete distribution/navbar