rimuc: added section numbering macro option.