C++/Random: Add