[c#] Reading an integer from user input