Added PRNG according to C++11