awk: undo locale setting for numbers - or else parsing