What is an integer?