Walter Tross

hi, it would work, but it's a bit of a pity if the `#` cannot be used as a word any more. I thought of `//`, but that can also...

Woops, I left my last comment as wtross-eg. It's still me, but as an EG employee...

Maybe for completeness you might want to add something similar to the following, somewhere: Note that to define the word # you have to use "#" in order for the...

I understand that this is a controversial PR, because adapting to the different conventions for writing numbers can be done in many different ways. First of all, there is the...

Thinking about my previous comment, I found the first big problem with this PR (and with the handling of the thousands separator in general): if you have `pi 3.14159265358979323846` in...

OK, I fixed that by parsing words without `-c` and `-t`. I didn't want to ditch the `-t`, because I really stumbled upon that when pasting numbers from my (meager)...

I noticed only now that `-d` can be mistaken to mean “dot”. That's unfortunate. I'm thinking of the following solution: 3 input modes: `-b` “both”, `-c` “comma”, `-d` “dot”. The...

Other ideas: `-b` accepts both dots and commas as decimal separator, but always output dots (less smart but more predictable). One more mode: `-B` is the “smart” `-b`, behaving like...

I decided to go with the 5 separator modes (with the “dumb” `-b` and without `-B`).

One last idea: `-e`, European mode ;-) Like `-b`, but displaying `,` as the decimal separator. Admittedly, that's a bit stretched, but `-B` would break orthogonality, and I haven't found...