python if int 型