python 3 check if input is integer