C++11 style random number generation apparently produces higher-quality randomization. It would be good to use if we can, I think.