Path: csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!us.feeder.erje.net!feeder.erje.net!eu.feeder.erje.net!news2.arglkargh.de!news.albasani.net!news.stack.nl!newsfeed.xs4all.nl!newsfeed3.news.xs4all.nl!xs4all!post.news.xs4all.nl!not-for-mail
Return-Path: <ian.g.kelly@gmail.com>
X-Original-To: python-list@python.org
Delivered-To: python-list@mail.python.org
X-Spam-Status: OK 0.041
X-Spam-Evidence: '*H*': 0.92; '*S*': 0.00; 'float': 0.07; 'subject:Why': 0.09; 'finite': 0.16; 'real.': 0.16; 'wrote:': 0.18; 'wed,': 0.18; 'trying': 0.19; 'certainly': 0.24; "shouldn't": 0.24; "i've": 0.25; 'header:In-Reply-To:1': 0.27; 'chris': 0.29; 'message-id:@mail.gmail.com': 0.30; 'along': 0.30; "i'm": 0.30; 'lines': 0.31; 'sep': 0.31; 'with,': 0.31; 'stuff': 0.32; 'worked': 0.33; 'something': 0.35; 'but': 0.35; 'received:google.com': 0.35; 'to:addr:python-list': 0.38; 'pm,': 0.38; 'to:addr:python.org': 0.39; 'prime': 0.74; 'brain,': 0.84; 'everything.': 0.84
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :content-type; bh=IuhV1OJ+zSi7Ma2OxL07c6bUPm49TPVghOnr9uY1fOE=; b=zct96+ul8YYx+wEB/b4ahsP3SDGrE5K0ueGd3C+EZ8fUWVRa6sCe7CK4CppLXUO5Yp kMgNc7kZP1QNw4NOFgDGFW47wEo3fC+5I0kUi0t7oot1BweO6aszO2fbWKeEaYZKAuXB 0gqv03ojLSQBcJcmG93zd2xYddMsy3FNYyJJZMNjJdET96mTl2V115JRPZJf4pWUGf/F 7lcaKxgttPV1J/jJ13fIHeCtiq8A0lm5aIGA8QPi5vE8LscMeoIoCOWimeyCK+WJi1z1 I/4YuCWqGnj2VRgGVspMDjrDqeBV6ljz2E8O6kFMsLRgui/4Z00XV+ybFtgMK7BlEH1q eXEw==
X-Received: by 10.66.161.41 with SMTP id xp9mr2939505pab.120.1411023124696; Wed, 17 Sep 2014 23:52:04 -0700 (PDT)
MIME-Version: 1.0
In-Reply-To: <CAPTjJmp5N9rWonC7tXnXejdRajbkDhVaAn2Ts6SSjZfA+BOnSA@mail.gmail.com>
References: <06397cb3-8baf-4af1-8152-ff7c3f6ceb62@googlegroups.com> <mailman.14066.1410916403.18130.python-list@python.org> <fd859066-7068-4a43-a9f0-0e9cc6949cf6@googlegroups.com> <CAPTjJmozvQ-Ndda46UcQELfCOjYi3xjUiyCoHOJKbQmmHPVpdg@mail.gmail.com> <CALwzid=Tx=sB3fSqUbPa79hFdcerijv+OodwwQJSgORU-eM1=g@mail.gmail.com> <CAPTjJmp5N9rWonC7tXnXejdRajbkDhVaAn2Ts6SSjZfA+BOnSA@mail.gmail.com>
From: Ian Kelly <ian.g.kelly@gmail.com>
Date: Thu, 18 Sep 2014 00:51:23 -0600
Subject: Re: Why `divmod(float('inf'), 1) == (float('nan'), float('nan'))`
To: Python <python-list@python.org>
Content-Type: text/plain; charset=UTF-8
X-BeenThere: python-list@python.org
X-Mailman-Version: 2.1.15
Precedence: list
List-Id: General discussion list for the Python programming language <python-list.python.org>
List-Unsubscribe: <https://mail.python.org/mailman/options/python-list>, <mailto:python-list-request@python.org?subject=unsubscribe>
List-Archive: <http://mail.python.org/pipermail/python-list/>
List-Post: <mailto:python-list@python.org>
List-Help: <mailto:python-list-request@python.org?subject=help>
List-Subscribe: <https://mail.python.org/mailman/listinfo/python-list>, <mailto:python-list-request@python.org?subject=subscribe>
Newsgroups: comp.lang.python
Message-ID: <mailman.14098.1411023134.18130.python-list@python.org>
Lines: 8
NNTP-Posting-Host: 2001:888:2000:d::a6
X-Trace: 1411023134 news.xs4all.nl 2898 [2001:888:2000:d::a6]:44078
X-Complaints-To: abuse@xs4all.nl
Xref: csiph.com comp.lang.python:78002

On Wed, Sep 17, 2014 at 3:37 PM, Chris Angelico <rosuav@gmail.com> wrote:
> It's not something I've personally worked with, so I'm trying to
> dredge stuff up from my brain, but I think there's something along the
> lines of "stuff shouldn't be a multiple of everything" and the Prime
> Number Theorem. But that may just be a case where float != real.

Certainly no finite number can be a multiple of everything. Are you
perchance thinking of the proof of Euclid's theorem?