Python Input From User Integer Definition Coding