JSON tokens that are produced by the tokenizer.