違う型だったらいいの？1+2.0とか。