Make some gmp constructors explicit. Add tests to verify that explicit conversions fail. Fix failures inside number.hpp.