Template:cpp/numeric/random/uniform real distribution/navbar