instance Additive Vector