Finished arithmetic encoder