I hope all developers and prospective developers are aware of the <http://gmplib.org/devel/testmachines.shtml> page where the automated builds are reported. We also added vertical tuning tables so that a specific tuning parameter can be compared over all machines. Please see <http://gmplib.org/devel/thresholds.html>. -- Torbjörn