Re: [Json] I-JSON Topic #5: Numbers

John Cowan <cowan@mercury.ccil.org> Tue, 29 April 2014 17:15 UTC

Return-Path: <cowan@ccil.org>
X-Original-To: json@ietfa.amsl.com
Delivered-To: json@ietfa.amsl.com
Received: from localhost (ietfa.amsl.com [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 23F471A0912 for <json@ietfa.amsl.com>; Tue, 29 Apr 2014 10:15:10 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -3.251
X-Spam-Level:
X-Spam-Status: No, score=-3.251 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, RCVD_IN_DNSWL_LOW=-0.7, RP_MATCHES_RCVD=-0.651] autolearn=ham
Received: from mail.ietf.org ([4.31.198.44]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 3x1uTxUVkl3A for <json@ietfa.amsl.com>; Tue, 29 Apr 2014 10:15:08 -0700 (PDT)
Received: from earth.ccil.org (earth.ccil.org [192.190.237.11]) by ietfa.amsl.com (Postfix) with ESMTP id A9F9F1A0776 for <json@ietf.org>; Tue, 29 Apr 2014 10:15:08 -0700 (PDT)
Received: from cowan by earth.ccil.org with local (Exim 4.72) (envelope-from <cowan@ccil.org>) id 1WfBcU-0001ns-Ez; Tue, 29 Apr 2014 13:15:02 -0400
Date: Tue, 29 Apr 2014 13:15:02 -0400
From: John Cowan <cowan@mercury.ccil.org>
To: Carsten Bormann <cabo@tzi.org>
Message-ID: <20140429171502.GY11962@mercury.ccil.org>
References: <535EB3BF.8080606@cisco.com> <CAHBU6ivjF9ULW0yGSVdJi2D6QgUThuhym_ZhpgLM=cvLu=mAiQ@mail.gmail.com> <CF841AAE.47D86%jhildebr@cisco.com> <CAO1wJ5RJL5jXYMRo9pxhNGc9Si5CLj5EmMLxWYntXsUFkGUbRA@mail.gmail.com> <56A5D291-62BC-4E3C-A734-F8BC2358E831@tzi.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <56A5D291-62BC-4E3C-A734-F8BC2358E831@tzi.org>
User-Agent: Mutt/1.5.20 (2009-06-14)
Sender: John Cowan <cowan@ccil.org>
Archived-At: http://mailarchive.ietf.org/arch/msg/json/D_ISWzhLIDGYK59eHSxOiZf8FjY
Cc: Tim Bray <tbray@textuality.com>, IETF JSON WG <json@ietf.org>, Jacob Davies <jacob@well.com>, "Joe Hildebrand \(jhildebr\)" <jhildebr@cisco.com>, "Matt Miller \(mamille2\)" <mamille2@cisco.com>
Subject: Re: [Json] I-JSON Topic #5: Numbers
X-BeenThere: json@ietf.org
X-Mailman-Version: 2.1.15
Precedence: list
List-Id: "JavaScript Object Notation \(JSON\) WG mailing list" <json.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/json>, <mailto:json-request@ietf.org?subject=unsubscribe>
List-Archive: <http://www.ietf.org/mail-archive/web/json/>
List-Post: <mailto:json@ietf.org>
List-Help: <mailto:json-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/json>, <mailto:json-request@ietf.org?subject=subscribe>
X-List-Received-Date: Tue, 29 Apr 2014 17:15:10 -0000

Carsten Bormann scripsit:

> Maybe what is meant here is excluding a number that doesn't round trip as a binary64?

That's what the MUST means.  The SHOULD means something different.

> Really, what needs to be excluded is the *intention* to obtain more
> precision! and there is no way to see whether there was such an
> intention from the actual JSON text.

No, there isn't, that's why the MUST is a constraint on emitters, and it is
precisely a constraint on what they expect rather than on what they do.

-- 
John Cowan          http://www.ccil.org/~cowan        cowan@ccil.org
LEAR: Dost thou call me fool, boy?
FOOL: All thy other titles thou hast given away:
That thou wast born with.