Symbol: mpn_sub