結果 : how to cast a string into an int python