Use numerical values for tokens