User blog comment:Wythagoras/All my stuff/@comment-10429372-20130718073726/@comment-7484840-20130718194201

What I meant was that it has to be the largest number that can be defined in n characters of language, and the requirement for it to be "the largest number..." can never be fulfilled, as there is always a larger possible output.

As for the function that cannot reference definable type functions, I'll look into it, but it seems OK.