A very small update this time. It's only been delayed by real life stuff.
Only worth mentioning:
- Workaround for cases in which GAWK uses comma as decimal separator. Many European languages use commas but only a few versions of GAWK do actually print them (and newer versions don't anymore). People encountering this bug will have certainly noticed since it results in all kinds of errors.