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=0.4 required=5.0 tests=BAYES_00,FORGED_MUA_MOZILLA
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,b3e361752e757bb8
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.66.90.36 with SMTP id bt4mr5637807pab.5.1350556502390;
        Thu, 18 Oct 2012 03:35:02 -0700 (PDT)
Path: 
 s9ni21184pbb.0!nntp.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!news.glorb.com!gegeweb.org!dedibox.gegeweb.org!gegeweb.eu!nntpfeed.proxad.net!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Thu, 18 Oct 2012 12:34:26 +0200
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7;
 rv:16.0) Gecko/20121010 Thunderbird/16.0.1
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Fixed Point number mul, is it a bug?
References: <422cd822-6d9a-4909-9009-995d845180b8@googlegroups.com>
 <wac2fm8hf0h7$.du8cji1kw1bw$.dlg@40tude.net>
In-Reply-To: <wac2fm8hf0h7$.du8cji1kw1bw$.dlg@40tude.net>
Message-ID: <507fdb32$0$6641$9b4e6d93@newsspool2.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 18 Oct 2012 12:34:26 CEST
NNTP-Posting-Host: 0b1d92fc.newsspool2.arcor-online.net
X-Trace: 
 DXC=A5NoDRkTLWSmG86`U=_nC_A9EHlD;3YcR4Fo<]lROoRQ8kF<OcfhCO[iVCMLGBglYXnc\616M64>ZLh>_cHTX3j]oRThL4o[kkU
X-Complaints-To: usenet-abuse@arcor.de
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Date: 2012-10-18T12:34:26+02:00
List-Id: <comp.lang.ada>

On 18.10.12 09:57, Dmitry A. Kazakov wrote:
> A binary fixed point type has values which
> are not necessarily exact decimal ones. In RM's language it would read as
> "the small" is not a power of 10.


And if GNAT is with -gnatwa (all warnings), it will mention the issue.