結果 : casting double to int java