Skip to content

Normative: Increase limits on Intl MV and explicitly limit significant digits #1022

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
sffc wants to merge 2 commits into
base: main
Choose a base branch
from
Open

Normative: Increase limits on Intl MV and explicitly limit significant digits #1022

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
5bb2a84
Normative: Increase bounds of Intl MV
sffc Aug 9, 2025
c8311b7
Normative: Add limit on number of significant digits
sffc Aug 9, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
17 changes: 12 additions & 5 deletions spec/numberformat.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1659,11 +1659,18 @@ <h1>
1. If _literal_ is a List of errors, return ~not-a-number~.
1. Let _intlMV_ be the StringIntlMV of _literal_.
1. If _intlMV_ is a mathematical value, then
1. Let _rounded_ be RoundMVResult(abs(_intlMV_)).
1. If _rounded_ is *+∞*<sub>𝔽</sub> and _intlMV_ &lt; 0, return ~negative-infinity~.
1. If _rounded_ is *+∞*<sub>𝔽</sub>, return ~positive-infinity~.
1. If _rounded_ is *+0*<sub>𝔽</sub> and _intlMV_ &lt; 0, return ~negative-zero~.
1. If _rounded_ is *+0*<sub>𝔽</sub>, return 0.
1. Let _e_ be the integer such that 10<sup>_e_</sup> ≤ abs(_intlMV_) &lt; 10<sup>_e_ + 1</sup>.
Copy link

@waldemarhorwat waldemarhorwat Sep 20, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Choosing such an e is impossible if intlMV is zero. To fix it, handle the zero case separately.

1. If _e_ ≥ 10000, then
1. If _intlMV_ &lt; 0, return ~negative-infinity~.
1. Else, return ~positive-infinity~.
1. If _e_ &lt; -10000, then
1. If _intlMV_ &lt; 0, return ~negative-zero~.
1. Else, return 0.
1. Let _q_ be the largest integer such that _intlMV_ × 10<sup>-_q_</sup> is an integer.
1. If _q_ &lt; -10000, then
1. Let _truncated_ be the largest mathematical value such that _truncated_ × 10<sup>10000</sup> is an integer and _truncated_ &lt; abs(_intlMV_).
1. If _intlMV_ &lt; 0, return -_truncated_.
1. Else, return _truncated_.
1. Return _intlMV_.
</emu-alg>
</emu-clause>
Expand Down