型の昇格があるから、一箇所doubleなら十分