python if input is integer