Path: csiph.com!feeder.erje.net!1.eu.feeder.erje.net!newsfeed.fsmpi.rwth-aachen.de!newsfeed.straub-nv.de!newsfeed.kamp.net!newsfeed.kamp.net!fu-berlin.de!uni-berlin.de!not-for-mail
From: Chris Kaynor <ckaynor@zindagigames.com>
Newsgroups: comp.lang.python
Subject: Re: Floating point equality [was Re: What exactly is "exact" (was Clean Singleton Docstrings)]
Date: Thu, 21 Jul 2016 17:43:15 -0700
Lines: 40
Message-ID: <mailman.38.1469148218.22221.python-list@python.org>
References: <nlmpl5$9l4$1@dont-email.me> <5789B601.9000604@stoneleaf.us> <mailman.26.1468642801.2307.python-list@python.org> <9d2a0934-bf26-42a8-9bb2-e4e75b2d2ad3@googlegroups.com> <CAPTjJmq+VKdu7x_nzfP8fb=0EiAqWJO6_qKNsabQSnbBStyMsA@mail.gmail.com> <1468652038.1427719.667878897.460955C0@webmail.messagingengine.com> <mailman.28.1468652041.2307.python-list@python.org> <578a027c$0$1616$c3e8da3$5496439d@news.astraweb.com> <69d8d886-c18a-4c05-8bca-9a05afacd9a9@googlegroups.com> <578ca188$0$1505$c3e8da3$5496439d@news.astraweb.com> <877fcjcllf.fsf@elektro.pacujo.net> <CAPTjJmqYuhfR68g4EWWfj=GQSQMBmo3r3DRCej39xLtjPfR2ow@mail.gmail.com> <mailman.71.1468836914.2307.python-list@python.org> <578da1b5$0$1591$c3e8da3$5496439d@news.astraweb.com> <d0d6f677-35d0-4c79-a281-44317bbc11dd@googlegroups.com> <578f0f5c$0$11115$c3e8da3@news.astraweb.com> <578F23A9.7070105@rece.vub.ac.be> <mailman.2.1468998615.22221.python-list@python.org> <578f72d4$0$1610$c3e8da3$5496439d@news.astraweb.com> <8760rybl8k.fsf@bsb.me.uk> <CALvWhxs-gw=kqMtQu114KN4gTL2uGd7+QYoCc18N7dYTxMjz6Q@mail.gmail.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
In-Reply-To: <8760rybl8k.fsf@bsb.me.uk>
Precedence: list
Xref: csiph.com comp.lang.python:111730

On Thu, Jul 21, 2016 at 4:54 PM, Ben Bacarisse <ben.usenet@bsb.me.uk> wrote=
:

> Steven D'Aprano <steve@pearwood.info> writes:
> <snip>
> > Or you might be using a language like Javascript, which intentionally h=
as
> > only floats for numbers. That's okay, you can still perform exact integ=
er
> > arithmetic, so long as you stay within the bounds of =C2=B12**16.
>
> Small point: it's 2**52.
>

If you really want to be picky, it is 2**53, inclusive:

>>> 2**53-2.0

9007199254740990.0

>>> 2**53-1.0

9007199254740991.0

>>> 2**53+0.0 # Can no longer store odd numbers, but 2**53 is even so it
can still be stored.

9007199254740992.0

>>> 2**53+1.0

9007199254740992.0

>>> 2**53+2.0
9007199254740994.0

This works as there is an implied one bit in the field for floats, giving
53 bits of storage despite only having 52 bits of storage. As the sign is
stored in a separate bit, the same limit applies to both positive and
negative numbers.