I think MySQL version numbers look better with a point (3.23, 4.0) than just 323, 40 like now they are. See PR/59242. The patch with a backward compatible. --- Sem.