実数型作るなら inf はいらないのでは。