>>16820107
Yes. Otherwise the additive identity fails.