Public Domain random number generators for C++