Defines an additive identity element for
a + 0 = a ∀ a ∈ Self 0 + a = a ∀ a ∈ Self
Returns the additive identity element of
This function should return the same result at all times regardless of
external mutable state, for example values stored in TLS or in
self is equal to the additive identity.