Any opposition to just switching to a 32-bit number as binary, network-order (big-endian), instead of the base-10 number and then a colon?

Since our traffic is always going to be encrypted, it's never going to be "plain text" anyway.