It’s not for display purpose in my case, as I use, indeed, CSS whenever possible. I want the relative order between successive headings, to construct a bibliography. Look here. So it’s not so much the number than just the order of headings, that I need. The difference a set, and a sequence, in data structures.