fix unsigned warning in num_gmp.h