fix unsigned warning in num_gmp_impl.h