Changed tokenizer to accept digits that start with the deciaml separator