Support for 32-bit limbs in field_gmp