Also not core team, but I didn’t realize this was missing during the review. If I had I would have spoken up, because mathematically a magnitude is *defined* as something that can be compared to see which underlying object is bigger.<div><br></div><div>It is a measure of size, and it exists so that the sizes of objects can be compared. Semantically, anything which is a magnitude must be comparable.</div><div><br></div><div>Putting that another way, if someone were to implement a type by giving it a magnitude which wasn’t comparable, then that type should not be considered numeric.</div><div><br></div><div>Even *vectors spaces*, where the objects aren’t even numeric because they can’t be multiplied together, still have magnitudes which are comparable since they must obey the triangle inequality.</div><div><br></div><div>I think the omission of ‘Comparable’ from ‘Magnitude’ should be considered a bug in the proposal, and it should be amended as an obvious fix for an oversight. Again, a magnitude is a measure of size, and it exists for the purpose of being compared.</div><div><br></div><div>Nevin</div>