doc: remove a redundant numfmt heading from texinfo