結果 : python cast double to integer