High-speed random number generation in C++