From f2aed96a7a66588c2a713d5dc0012b2af7dbdc1e Mon Sep 17 00:00:00 2001
From: Shu-yu Guo <syg@chromium.org>
Date: Thu, 1 Sep 2022 15:42:31 -0700
Subject: [PATCH] Editorial: Add note that roundtripping ToIntegerOrInfinity
 never produces -0 (#2884)

---
 spec.html | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/spec.html b/spec.html
index 50a69ae800..8530ac610c 100644
--- a/spec.html
+++ b/spec.html
@@ -5160,6 +5160,9 @@ <h1>
         1. If _number_ &lt; *-0*<sub>𝔽</sub>, set _integer_ to -_integer_.
         1. Return _integer_.
       </emu-alg>
+      <emu-note>
+        𝔽(ToIntegerOrInfinity(_x_)) never returns *-0*<sub>𝔽</sub> for any value of _x_. The truncation of the fractional part is performed after converting _x_ to a mathematical value.
+      </emu-note>
     </emu-clause>
 
     <emu-clause id="sec-toint32" type="abstract operation">