ietf doc: range coder