We have a gmp-bugs mailing list for GMP bug reports. Please dont follow up further to the -devel list. I will reply to gmp-bugs. -- Torbjörn Please encrypt, key id 0xC8601622