Editing Reals