Improve Ada.Text_IO.Editing in indexing