Template:cpp/numeric/random/dsc ranlux48 base