結果 : cast double into int java