User blog comment:Lord Aspect/BOX/@comment-32783837-20180215195823/@comment-30754445-20180216111701

I know what you've meant.

But the only thing that saves your number from being "undefined" is the fact that what you've written isn't exactly what you've meant :-)

(assuming Rayo's Number itself is well-defined, which is quite a hairy dilemma on its own)