[Haskell-cafe] Re: Double -> CDouble, realToFrac doesn't work

Benjamin Franksen benjamin.franksen at bessy.de
Fri Nov 5 08:11:31 EST 2004

On Friday 05 November 2004 14:57, Henning Thielemann wrote:
> On Fri, 5 Nov 2004, Robert Dockins wrote:
> I wonder why Infinity has a sign in IEEE floating processing, as well as
> 0. 

As regards Inf, this makes sense, because with +Inf and -Inf order is 
preserved. With one unsigned Inf nothing is really < or > than anything else.

> To support this behaviour uniformly one would need a +0 or -0 offset 
> for each number, which would lead straightforward to non-standard analysis
> ...

It's worse: Since according to IEEE +0 is not equal to -0, atan2 is not a 


More information about the Haskell-Cafe mailing list