adds integer tokenization code