version numbers are not floating-point numbers