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.