Switch to implementing Default instead of Zero, as Zero is now explicitly an additive identity