2) A different conversation led to the (to me) surprising conclusion
that there is no IETF document that conclusively states that top level
domains shouldn't be all numeric. I think this is an appropriate thing
for the IETF to state in a BCP, since 4-component all-numeric domain
names are hard to tell from IP addresses - a technical consideration in
many protocols.
RFC 1123 comes close.
If a dotted-decimal number can be entered without such
identifying delimiters, then a full syntactic check must be
made, because a segment of a host domain name is now allowed
to begin with a digit and could legally be entirely numeric
(see Section 6.1.2.4). However, a valid host name can never
have the dotted-decimal form #.#.#.#, since at least the
highest-level component label will be alphabetic.