> IPv4 addresses are also syntactically valid host names.
Curious...from the philosophical intent supporting the normative language[1] (my emphasis added):
However, a valid host name can never have the dotted-decimal form #.#.#.#, since at least the highest-level component label will be alphabetic.