From 7283874c7950f57c6c295f854632b9e459e0cb0a Mon Sep 17 00:00:00 2001 From: Jesse Alama Date: Sun, 28 Jul 2024 14:53:55 +0200 Subject: [PATCH] Make clear that ApplyRoundingModeToPositive gives an integer --- spec.emu | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/spec.emu b/spec.emu index c78c0582..37a24267 100644 --- a/spec.emu +++ b/spec.emu @@ -172,11 +172,11 @@ location: https://github.com/tc39/proposal-decimal/

ApplyRoundingModeToPositive( _m_: a positive mathematical value, _roundingMode_: a Decimal128 rounding mode - ): *+∞*𝔻, *+0*𝔻, or a mathematical value + ): an integer

description
-
It computes the closest approximation to a given mathematical value,which must be positive, rounded according to the given rounding mode, that is available within the limits of Decimal128.
+
It computes the closest integer approximation to a given positive mathematical value, rounded according to the given rounding mode.
1. Let _mLow_ be floor(_m_).