From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,6fabd104d18f3943
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news4.google.com!proxad.net!feeder1-2.proxad.net!fdn.fr!gegeweb.org!aioe.org!not-for-mail
From: tmoran@acm.org
Newsgroups: comp.lang.ada
Subject: Re: conversions between fixed-point types
Date: Sun, 20 Sep 2009 20:09:20 +0000 (UTC)
Organization: Aioe.org NNTP Server
Message-ID: <h9625g$ego$1@aioe.org>
References: <h94obl$c7h$1@news.albasani.net>
NNTP-Posting-Host: +ERTOT2Y9KJRZ8n+NpAZGA.user.aioe.org
X-Complaints-To: abuse@aioe.org
X-Notice: Filtered by postfilter v. 0.8.0
X-Newsreader: Tom's custom newsreader
Cancel-Lock: sha1:Q6XMDM3nYHUX+OQfmdXjgCEZEz4=
Xref: g2news2.google.com comp.lang.ada:8411
Date: 2009-09-20T20:09:20+00:00
List-Id: <comp.lang.ada>

I ran on another old compiler, ObjectAda 7.2.2, and got:

  Gnat 3.15p   Janus 3.1.2a  ObjectAda 7.2.2

-1.50000E+00  -1.50000E+00   -1.50000E+00
-1.20000E+00  -1.60000E+00   -1.60000E+00
-1.20000E+00  -1.60000E+00   -1.60000E+00
-1.60000E+00  -1.60000E+00   -1.60000E+00
-1.20000E+00  -1.60000E+00   -1.60000E+00
-1.20000E+00  -1.60000E+00   -1.60000E+00
-1.60000E+00  -1.60000E+00   -1.20000E+00
-1.60000E+00  -1.60000E+00   -1.20000E+00

These were all Ada 95 compilers and I'm guessing the conformance
testing would have included fixed point handling, which would
suggest that any of the three different results would be legal.