python test if input is integer