Jonathan M Davis:
Otherwise, wouldn't _100 come before _20?
But he has said:
I need to treat these as if they were integrals, although theunderscore complicates things here since it should be ignored. So the result I want is:["_10", "_20", "_100"]
No mention of 100 coming before 20. Bye, bearophile