>>61
ToolInt を ToolDouble に名前を変えて、
内部の int value を double value に変えて、
Scanner.lexDigit() を小数点も取り込んで Double を返すようにして、
こまごまと int → double, Integer → Double にすりゃいいんじゃないか