Numbering ICC provisions instead of using names

Seems more sustainable, less fiddly.