awkのprintfは切捨てでも四捨五入でもない？

printfを利用することで小数点第N位での切捨てが簡単にできる...と思ったていたら、不思議な結果になりました。
「0.5」が四捨五入になりません。
でも「0.51」は四捨五入になるようです。

echo  "0.124" | awk '{printf("%0.2f", $1)}' # => 0.12
echo  "0.125" | awk '{printf("%0.2f", $1)}' # => 0.12
echo "0.1251" | awk '{printf("%0.2f", $1)}' # => 0.13
echo  "0.126" | awk '{printf("%0.2f", $1)}' # => 0.13

... これwindows cygwinのawkだけ？
それとも、他の言語のprintfでもそうなのかな？？

そのうち 検証します