[dcl.attr.assume] Add missing \pnum's

Author: tkoeppe

source/declarations.tex

@@ -9015,7 +9015,7 @@
 
 \rSec2[dcl.attr.assume]{Assumption attribute}
 
-% FIXME: Shouldn't there be a pnum here?
+\pnum
 The \grammarterm{attribute-token} \tcode{assume} may be applied to a null statement;
 such a statement is an \defn{assumption}.
 An \grammarterm{attribute-argument-clause} shall be present and
@@ -9030,6 +9030,8 @@
 the assumption has no effect.
 Otherwise,
 evaluation of the assumption has runtime-undefined behavior.
+
+\pnum
 \begin{note}
 The expression is potentially evaluated\iref{basic.def.odr}.
 The use of assumptions is intended to allow implementations
@@ -9043,6 +9045,8 @@
 if an implementation does not attempt to deduce
 any such information from assumptions.
 \end{note}
+
+\pnum
 \begin{example}
 \begin{codeblock}
 int divide_by_32(int x) {