Arithmetic coding of images (compression / decompression)