Switch to std::rand::random()