Symbol: mp_limb_signed_t