Add a comment

Hey, don't rule out the possibility that abstract values may have a notion of length, i.e. the vectors or linear maps of normed vector spaces and, more specifically, the field of real numbers together with the absolute value function as a 1-dimensional normed vector space over itself.