RNG using the C++ Boost Library