Rounding to even makes sense for human-facing decimals as well.

That's what they do in accounting, I think? At least Wikipedia tells me it's also called banker's rounding.

Incidentally, it's also what Python's Decimal does by default. See https://docs.python.org/3/library/decimal.html#rounding-mode...