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

[Benjamin Franksen]

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 
function!

Ben