My gripe with GMP headers.
Thu, 2 Jan 2003 19:34:50 -0500

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