refactoring mpz.h/digit.h overlap & small bug fix