From: matz@... (Yukihiro Matsumoto)
Date: 2002-06-14T00:42:04+09:00
Subject: Re: Bignum bug

Hi,

In message "Bignum bug"
    on 02/06/11, "Christoph" <chr_news@gmx.net> writes:

|the changes 1.43-1.44 and 1.31.2.12 back in 
|October/November last year created a logical
|bug (IMO of course;-). Before this change
|
|---
|10**400           > 0.0            # => true
|10**400 + 10**400 > 0.0 + 10**400 
|---
|
|would raise a FloatDomainError, now we are getting
|
|---
|10**400           > 0.0            # => true
|10**400 + 10**400 > 0.0 + 10**400  # => false
|---
|
|in other words ``+'' and ``>'' are in-compatible
|(technically you could say that ``>'' is not an
|admissible order with respect to ``+''). 

You get the same result from Python too.

  10L**400 + 10L**400 > 0.0 + 10L**400          # false

So the point is:

  what should be the result of "x > y";
  where y is a positive float infinity and
        x is a bignum bigger than MAXFLOAT

Hmm, let me think.

							matz.