Re: [NTG-context] Wrong float numbering with default=top