如何在Mac OS X awk中处理浮点数？

Question

在Mac OS X 10.9上，以下行

echo "1.2 2.3" | awk '{print $1 + $2}'

打印此结果

3

这是awk的系统版本。显然，我希望它打印

3.5

就像我以前习惯的那样gawk（与Homebrew一起安装），或者来自我的Debian框中的mawk。我有什么想法可以做到这一点？我没有通过阅读（非常稀疏的）手册页，也没有通过谷歌搜索来发现。

Answer 1

我刚刚发现，抱歉打扰了所有人。原因似乎是我的语言环境，通过de_CH.UTF-8 env var设置为LANG。

当我将LANG设置为en_US.UTF-8时，计算是正确的。有趣的是，gawk不受LANG的影响......