Seconded.  I can&#x27;t see <i>any</i> encoding system that has fixed-sized integers (and therefore can overflow) where the result of addition is order-dependent.  I mean, I&#x27;m sure you could <i>design</i> one.  But if there&#x27;s an example of an actually-used encoding that has this property, I&#x27;d like to hear it.  (And as you said, using floats doesn&#x27;t count...)