From b39baf7795a8a6d969ae713ce2088ef0fb8c8ebe Mon Sep 17 00:00:00 2001
From: Andreas Rossberg <rossberg@chromium.org>
Date: Tue, 24 Oct 2023 18:11:01 +0200
Subject: [PATCH] [spec] Fix definition of iextend (#1696)

---
 document/core/exec/numerics.rst | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/document/core/exec/numerics.rst b/document/core/exec/numerics.rst
index f9eae6b9d0..85d3dbd00c 100644
--- a/document/core/exec/numerics.rst
+++ b/document/core/exec/numerics.rst
@@ -715,11 +715,13 @@ The integer result of predicates -- i.e., :ref:`tests <syntax-testop>` and :ref:
 :math:`\iextendMs_N(i)`
 .......................
 
-* Return :math:`\extends_{M,N}(i)`.
+* Let :math:`j` be the result of computing :math:`\wrap_{N,M}(i)`.
+
+* Return :math:`\extends_{M,N}(j)`.
 
 .. math::
    \begin{array}{lll@{\qquad}l}
-   \iextendMs_{N}(i) &=& \extends_{M,N}(i) \\
+   \iextendMs_{N}(i) &=& \extends_{M,N}(\wrap_{N,M}(i)) \\
    \end{array}