"Arith encoding bug fixed (all diff are zeros)"