Dotted-decimal section-numbering