Here are improved versions of the patches needed to enable mini-gmp
integration.  I think these are ready to commit.  Reviews welcome.

     Mark