From 055edbb93dd52ac9f3deea2b522bc5b138452045 Mon Sep 17 00:00:00 2001
From: Jesse Alama <jesse@igalia.com>
Date: Tue, 24 Sep 2024 09:16:40 +0200
Subject: [PATCH] Remove qualification about the next exponent not yielding an
 integer

This is unnecessary because all we care avbout is finite
decimal representability. When computing *the* exponent of a
number, we wil choose the minimum power that yields an
integer, in which case the fact that any smaller power
yields a non-integer is understood.
---
 spec.emu | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/spec.emu b/spec.emu
index 8ec574f..26e1bd4 100644
--- a/spec.emu
+++ b/spec.emu
@@ -36,8 +36,7 @@ location: https://github.com/tc39/proposal-decimal/
       <li>a mathematical value _v_ for which there exists an integer _q_ satisfing the following conditions:</li>
       <ul>
         <li>-6176 ≤ _q_ ≤ 6111,</li>
-        <li>v × 10<sup>−_q_</sup> is an integer _n_ such that 0 < abs(_n_) < 10<sup>34</sup>, and</li>
-        <li>v × 10<sup>−(_q_ + 1)</sup> is a not an integer.</li>
+        <li>v × 10<sup>−_q_</sup> is an integer _n_ such that 0 < abs(_n_) < 10<sup>34</sup>.</li>
       </ul>
     </ul>
     <emu-note>