Older GMP's didn't have mp_bitcnt_t type, use an unsigned long