Template:cpp/numeric/random/engine/dsc constructor