結果 : casting a string to an int python