Implement new encoded option to toString()