Just speculating. They may be treating versions like decimal fractions. Thus, 7.16 < 7.2. But I can't say that this is the best place to use that concept.