intをdoubleにしたいんですが、
int値を元にIntegerオブジェクトを作って、
それでdoubleValue()（だっけ？）でdoubleにする、
という面倒な方法しかありませんか？