On a general case, yes. But we are talking about Stack, a system for managing software dependencies. When was the last time you put numbers intended to be real numbers in a dependency declaration file? In different words, when was the last time you added, subtracted, multiplied or divided versions?

Version numbers are always strings with special comparison semantics.