To my understanding, you use the getline function in order to find a string of letters from a file, but what if you're wanting to find a certain number in a text file. Like let's say the user types in '1234'. What's the equivalent in finding an integer?