We should be able to compare whether `Inch === 2.54*Centi(Metre)`, provided there's an implicit `Normalizable` instance.