But to know if a token is a name, it has to check, and that check never happens because the tokenizer yields when the number case hits. You can attach a debugger and see for yourself.
> It doesn't matter in which order the rules are checked.
Nowhere did I claim otherwise. The rules _do_ happen in a deterministic order, which I posted the source code for.