Add the theory of integers.