It's just that it's a non-sequitur to say "oh, that looks rather simple and it has a 10 in it, there must be something special about our number system" (which i

It's just that it's a non-sequitur to say "oh, that looks rather simple and it has a 10 in it, there must be something special about our number system" (which is what you say in your first comment). I implicitly subsumed termination under 'simple pattern' since repeating sequences can be described in a finite way too. The only surprising property of 22.7 in this context is that it's rational.