How To Make A User Input An Integer In Python