Vincent Lefevre <vincent at vinc17.org> writes: http://gmplib.org/ says: The current release is 4.2.3, released 2007-09-11. It fixes all problems found with 4.2.1. The date is incorrect, and 4.2.1 should be replaced by 4.2.2. Thanks. -- Torbjörn