Paul Zimmermann <Paul.Zimmermann at loria.fr> writes: thanks. Are the http://gmplib.org/gmpbench.html timings fixed for 4.3.0? No, the numbers are not updated for the final release. -- Torbjörn