Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail From: mitchalsup@aol.com (MitchAlsup1) Newsgroups: comp.arch Subject: Re: Making Lemonade (Floating-point format changes) Date: Tue, 21 May 2024 17:11:22 +0000 Organization: Rocksolid Light Message-ID: References: <20240513151647.0000403f@yahoo.com> <20240514221659.00001094@yahoo.com> <20240516001628.00001031@yahoo.com> <20240519203403.00003e9b@yahoo.com> <20240520113045.000050c5@yahoo.com> <20240520153630.00000b5a@yahoo.com> <20240521104659.00003fa0@yahoo.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Info: i2pn2.org; logging-data="1797269"; mail-complaints-to="usenet@i2pn2.org"; posting-account="65wTazMNTleAJDh/pRqmKE7ADni/0wesT78+pyiDW8A"; User-Agent: Rocksolid Light X-Rslight-Posting-User: ac58ceb75ea22753186dae54d967fed894c3dce8 X-Rslight-Site: $2y$10$06Fd3BY4CV2o5R0kplVqLO5Sjw0tcMXnGhIoZhPz4YKcmC3QtMIYC X-Spam-Checker-Version: SpamAssassin 4.0.0 Bytes: 2423 Lines: 27 Michael S wrote: > On Mon, 20 May 2024 21:17:15 +0200 > Terje Mathisen wrote: >> >> As you note, it is only when using RoundToPlus (or Minus) Infinity >> that an arbitrary small product can still produce a non-zero result. >> >> Terje >> >> > I think, we were discussing multiplication stage of FMA rather than > multiplication proper. > In case of FMA, zeroness (zeroity ?) and sign of tiny product matter in > all standard IEEE rounding mode except default (RNE). Imagine, instead, if IEEE 754 had defined positive underflow with the result of positive tiny, negative underflow with negative tiny, positive overflow with positive infinity-epsilon and negative overflow with negative infinity+epsilon. Here, the fact overflow or underflow happened is recorded in the result, and these results remain identifiable from real infinities or real zeros. But that ship sailed 50 years ago.