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