Comment on integer division performing rounding for us?