mkshing's picture
fix tokenizer loading to decode digits
ca2257f