Worse, there is an IPv8, from 1994, the obsolete P internet protocol (PIP) https://en.wikipedia.org/wiki/List_of_IP_version_numbers

There was also a second prior "IPv8" proposal from a couple years later by notorious mailing list troll Jim Fleming, which he subsequently expanded to "IPv16"