input should return an integer