[PPL-devel] Re: Problem (with fix) concerning GMP's C++ random number class