結果 : cast type to int python