good question. I've clarified the comment to say that they're numbers, and are not character encoded.