python: add range_encoder