結果 : cast integer to double in java