diff --git a/p4-16/spec/P4-16-spec.adoc b/p4-16/spec/P4-16-spec.adoc
index 2683a36b7a..1ed9406d09 100644
--- a/p4-16/spec/P4-16-spec.adoc
+++ b/p4-16/spec/P4-16-spec.adoc
@@ -3636,6 +3636,13 @@ to bit-strings of the same width:
   and is computed by truncating the result to the output's width.
   P4 architectures may impose additional restrictions --- e.g., they may only
   allow multiplication by a non-negative integer power of two.
+* Truncating integer division, denoted by `/`.
+  The denominator must be positive.
+  The result has the same width as the operands. Similar to multiplication,
+  P4 architectures may impose additional restrictions.
+* Modulo between positive values, denoted by `%`.
+  The result has the same width as the operands. Similar to multiplication,
+  P4 architectures may impose additional restrictions.
 * Bitwise "and" between two bit-strings of the same width, denoted by `&`.
 * Bitwise "or" between two bit-strings of the same width, denoted by `|`.
 * Bitwise "complement" of a single bit-string, denoted by `~`.