On extension versioning

Hi, one problem noted by Crise involves versioning of extension in general:
EXT0 means an extension under development
EXTE means the version 1 of the extension
And then EXT2 to EXT 9 is used for versions 2 to 9

What would happen when we reach 10?