return an integer from cin