Fixed sign bug in mpz_mult_u