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

My point is that the strings of different length can do different things: a string of length 1000 could define a number, or it could define a string of a huge length. This then could define a huge number, or it could define a string of even larger length, and this could define a number, or... and so on. This means that basically any number at all of any size can be defined.