結果 : java cast double into int