Comment to explain why unicode chars are digits