Range encoder