cpp/numeric/random/independent bits engine/seed