Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Michael S <already5chosen@yahoo.com>
Newsgroups: comp.arch
Subject: Re: Making Lemonade (Floating-point format changes)
Date: Tue, 21 May 2024 10:46:59 +0300
Organization: A noiseless patient Spider
Lines: 16
Message-ID: <20240521104659.00003fa0@yahoo.com>
References: <abe04jhkngt2uun1e7ict8vmf1fq8p7rnm@4ax.com>
	<memo.20240512203459.16164W@jgd.cix.co.uk>
	<v1rab7$2vt3u$1@dont-email.me>
	<20240513151647.0000403f@yahoo.com>
	<v1to2h$3km86$1@dont-email.me>
	<20240514221659.00001094@yahoo.com>
	<v234nr$12p27$1@dont-email.me>
	<20240516001628.00001031@yahoo.com>
	<v2cn4l$3bpov$1@dont-email.me>
	<v2d9sv$3fda0$1@dont-email.me>
	<20240519203403.00003e9b@yahoo.com>
	<v2etr0$3s9r0$1@dont-email.me>
	<20240520113045.000050c5@yahoo.com>
	<v2ff99$3vq7q$1@dont-email.me>
	<20240520153630.00000b5a@yahoo.com>
	<v2g7js$4vi9$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 21 May 2024 09:46:50 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="e99efd564a0a08ee34738b19f3b5e38a";
	logging-data="527126"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19kc/xNCQgDfsj4tvg96NDqVGONho5E8Ng="
Cancel-Lock: sha1:AlaxTfBY6g94tTVgh8Xho0ISGbI=
X-Newsreader: Claws Mail 3.19.1 (GTK+ 2.24.33; x86_64-w64-mingw32)
Bytes: 1985

On Mon, 20 May 2024 21:17:15 +0200
Terje Mathisen <terje.mathisen@tmsw.no> 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).