Basic I/O, Part 2) Read int from user

From Lane Woodrose Schwartz