I use the quote separator for digit grouping on any occasion, i.e. also outside of computer code. There, we usually have non-monospaced fonts, for which the use

I use the quote separator for digit grouping on any occasion, i.e. also outside of computer code. There, we usually have non-monospaced fonts, for which the use of underscores is glaringly uglier compared to use of single quotes. I don't know if you took this design decision from somewhere else or not, but it was an inspired decision nevertheless. Also, I'm glad and honoured to have a comment like yours in my history. Sorry for late reply.