W3C home > Mailing lists > Public > public-owl-wg@w3.org > July 2008

Re: ISSUE-126 (Revisit Datatypes): A new proposal for the real <-> float <-> double conundrum

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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:42:05 UTC