This is an integer.