We decided to make gmplib.org https-only. Please let us know if things don't seem to work properly. Torbjörn "A week in the lab saves an hour in the library."