[PPL-devel] Revised patch fixing a problem with GMP's C++ random number class