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

On 4 Jul 2008, at 16:18, Boris Motik wrote:

> Well, this might make determining the number of floats in a range  
> easier. I still don't see the point in requiring people to do all
> that, but let me first read the paper.



Received on Friday, 4 July 2008 16:15:43 UTC