mp_integer: more work and cleanup on the new approach to int promotion.

Also restored mp_integer<> as coefficient type in the gastineau tests.