Add explanatory comment on HMRC rounding