Avoids problems with awk processing floating point numbers when LC_NUMERIC give a decimal point of ','. Fixes PR/42321