It's not a decimal number. It's a version number. If you add the implicit .0 back to the end of 0.14, it is easier to see. 0.14.0 is obviously not a decimal number.
14 > 13 > 9
14 > 13 > 9
But I think we can all take a step back and see the ambiguity right?