added an integer