This is a bit of a dark corner of awk. This beast is string concatenation. There is a classical example in the awk FAQ number 28: $ awk 'BEGIN { print 6 " " -22 }' 6-22 Where did the space go? First, " " -22 is evaluated, in numeric context, yielding 0-22 = -22. […]