editor: Add rounding on export.