The gmpxx.h header has nearly 300 location where old-style casts are used. Is there a good reason not to use the new C++ casts in their place? I usually run my compilations with all significant warnings turned on, and since old-style casts can cause problems, this is one of the warnings I want to keep. It would be really nice not to have to filter out warnings from GMP... K.Kozminski