gawk round-up 0.5 bug?

[Jeff Chua]

This is intended to be?

# awk 'BEGIN {printf("%.0f\n", 0.5)}'
0

# awk 'BEGIN {printf("%.0f\n", 0.51)}'
1

# gawk --version
GNU Awk 3.1.6

I would think 0.5 should be rounded to 1.


Thanks,
Jeff.