結果 : python cast double to int