textproc: simpler uint64→string in token counter