Magic: the Gathering is as Hard as Arithmetic