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