Re: ISSUE-126 (Revisit Datatypes): A new proposal for the real <-> float <-> double conundrum from Alan Ruttenberg on 2008-07-04 (public-owl-wg@w3.org from July 2008)

From: Alan Ruttenberg <alanruttenberg@gmail.com>
Date: Fri, 4 Jul 2008 11:09:54 -0400
To: Bijan Parsia <bparsia@cs.man.ac.uk>
Cc: "Boris Motik" <boris.motik@comlab.ox.ac.uk>, "'OWL Working Group WG'" <public-owl-wg@w3.org>
Message-Id: <A2502765-B250-4518-A641-C59446B4ABFE@gmail.com>

On Jul 4, 2008, at 11:07 AM, Bijan Parsia wrote:

> Because the floats are lexicographically ordered that means that if  
> we increment the representation of a float as an integer then we  
> move to the next float....

Not if the next one is NaN.

Not every bit sequence in the floats corresponds to a number.

-Alan

Received on Friday, 4 July 2008 15:10:41 UTC