Symbol: mp_limb_t