[PPL-devel] Re: GMP 4.0.1/C++: Where are the cmp() functions?