Add `number_tokenizer.coffee`