Editing ints is via HoleEdit