結果 : type cast double to int java