Understood,

That's a single token according to the definition of pp-number.
It's not a bug.
Thanks for kindly teaching.

-Kovaltan

Reply via email to