Let's move this discussion over to the proper list, gmp-discuss. (My mistake to forward the original message to the developer's list.) -- Torbjörn