better tokenizing of numbers and emoticons