result. Now {echo | awk '{print -1 * 0}'} prints "0" instead of "-0". Fixes PR 36831. Discussed in tech-userlevel.