Encoding: add converters