What is int?