結果 : cast double to int python