その解釈なら double でもいけることになってしまう