diff --git a/spec.html b/spec.html
index 50a69ae800..8530ac610c 100644
--- a/spec.html
+++ b/spec.html
@@ -5160,6 +5160,9 @@
1. If _number_ < *-0*𝔽, set _integer_ to -_integer_.
1. Return _integer_.
+
+ 𝔽(ToIntegerOrInfinity(_x_)) never returns *-0*𝔽 for any value of _x_. The truncation of the fractional part is performed after converting _x_ to a mathematical value.
+