We can now sum integer constants