Second try at fixing replacement of a range of digits with a pause.

It was still not working all the time, because the automatic number
formatter could change the buffer offsets in between the deletion of
the old digits and the insertion of the pause character.  Do it as
a single operation so that nothing can happen in between.