I apologise to gmp-devel subscribers for the previous message, which should have been forwarded to gmp-discuss and not gmp-devel. Please don't follow up to this list. -- Torbjörn