I'm a networking noob, but would it be possible to extend DNS/HTTPS so as to allow a URL to point to a port other than 443? Doing so would allow each IP address to serve multiple websites/computers making the pool of addresses at least thousands of times larger.