結果 : python cast user input to int