Give the Random123 RNGs an easy option for seeding