add a dump method dumping the numbering