[Dylan16807]

You would definitely use arithmetic encoding at that point. Then you can directly use fractional bits to encode moves.