crs.to_string properly handles Unicode values. [#83]