Kind of tangential but: JPEG has always had arithmetic encoding in the spec. No one implemented it due to patents (even after the patents expired about a decade ago).

Roughly 10% improvement I believe.