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

Matt Miller <mamille2@cisco.com> Tue, 27 May 2014 16:45 UTC

Return-Path: <mamille2@cisco.com>
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 B5A8A1A01A0 for <json@ietfa.amsl.com>; Tue, 27 May 2014 09:45:18 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -15.152
X-Spam-Level:
X-Spam-Status: No, score=-15.152 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, RCVD_IN_DNSWL_HI=-5, RP_MATCHES_RCVD=-0.651, SPF_PASS=-0.001, USER_IN_DEF_DKIM_WL=-7.5] 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 Qy9fegleWHje for <json@ietfa.amsl.com>; Tue, 27 May 2014 09:45:16 -0700 (PDT)
Received: from alln-iport-8.cisco.com (alln-iport-8.cisco.com [173.37.142.95]) (using TLSv1 with cipher RC4-SHA (128/128 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 9A1881A019F for <json@ietf.org>; Tue, 27 May 2014 09:45:16 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=cisco.com; i=@cisco.com; l=1936; q=dns/txt; s=iport; t=1401209113; x=1402418713; h=message-id:date:from:mime-version:to:cc:subject: references:in-reply-to:content-transfer-encoding; bh=9iVGI6DliGdHQqnaPUxK5z/geu9Rz6s4nuO7hfWVZeg=; b=XpHDU1NyZ/WVxE8UPjSrezScKTSXO+AgxP+EtQrOtaCel1M0E7T3W66t qNH8B51uItro0rmUljtOyCXVjewIZDfR1lJ3MCn7fpDiJ+l+gJzgkqnLH JJchZ9LCo+pvV/hLvhlYHxegg+uJTmUKUQWhaCBp2v2Ve18jPq+H3GydR k=;
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AtIHALO/hFOtJV2T/2dsb2JhbABZgwdSWKoCAQEBAQEBBQGYDAGBDhZ0giUBAQEEeAEQCxgJFg8JAwIBAgFFBgEMAQUCAQGIPtUPF4VViEozB4RAAQOJZzqPUpMng1eCEA
X-IronPort-AV: E=Sophos;i="4.98,920,1392163200"; d="scan'208";a="47620398"
Received: from rcdn-core-11.cisco.com ([173.37.93.147]) by alln-iport-8.cisco.com with ESMTP; 27 May 2014 16:45:12 +0000
Received: from xhc-rcd-x05.cisco.com (xhc-rcd-x05.cisco.com [173.37.183.79]) by rcdn-core-11.cisco.com (8.14.5/8.14.5) with ESMTP id s4RGjCkm031472 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=FAIL); Tue, 27 May 2014 16:45:12 GMT
Received: from MAMILLE2-M-T03K.CISCO.COM (10.129.24.57) by xhc-rcd-x05.cisco.com (173.37.183.79) with Microsoft SMTP Server (TLS) id 14.3.123.3; Tue, 27 May 2014 11:45:12 -0500
Message-ID: <5384C118.4060402@cisco.com>
Date: Tue, 27 May 2014 10:45:12 -0600
From: Matt Miller <mamille2@cisco.com>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.9; rv:24.0) Gecko/20100101 Thunderbird/24.5.0
MIME-Version: 1.0
To: Nico Williams <nico@cryptonector.com>, Tim Bray <tbray@textuality.com>
References: <535EB3BF.8080606@cisco.com> <CAHBU6ivjF9ULW0yGSVdJi2D6QgUThuhym_ZhpgLM=cvLu=mAiQ@mail.gmail.com> <CF841AAE.47D86%jhildebr@cisco.com> <CAHBU6itK5HtSTPWSsHsHUPja90emqU86LsgjrBorkqcUDivS2A@mail.gmail.com> <CF87EB9C.48BB0%jhildebr@cisco.com> <537A5BE0.3020406@cisco.com> <CF9FCEC9.4A4E7%jhildebr@cisco.com> <488AE66E-725D-40B3-9FDA-ADA1018BCF65@tzi.org> <CFA0F09E.4A609%jhildebr@cisco.com> <255B9BB34FB7D647A506DC292726F6E115461FFE59@WSMSG3153V.srv.dir.telstra.com> <20140521020731.GG9283@mercury.ccil.org> <CFA21B5C.4A721%jhildebr@cisco.com> <255B9BB34FB7D647A506DC292726F6E1154629E87D@WSMSG3153V.srv.dir.telstra.com> <CAHBU6isO7oooeN8rH8emx-xuOrs2yzBUrhyJNYYAyzK2-QfF0w@mail.gmail.com> <CAK3OfOih-YO-ncbSc3dVv_O7uHfjRxCDjUpzHmkFG5Dj7kb-xg@mail.gmail.com>
In-Reply-To: <CAK3OfOih-YO-ncbSc3dVv_O7uHfjRxCDjUpzHmkFG5Dj7kb-xg@mail.gmail.com>
X-Enigmail-Version: 1.6
Content-Type: text/plain; charset="ISO-8859-1"
Content-Transfer-Encoding: 7bit
X-Originating-IP: [10.129.24.57]
Archived-At: http://mailarchive.ietf.org/arch/msg/json/Q8WKpRDEywhrXcK2n2no1fRevDs
Cc: IETF JSON WG <json@ietf.org>
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, 27 May 2014 16:45:18 -0000

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

On 5/22/14, 10:14 AM, Nico Williams wrote:
> My proposal is to reference IEEE 754 and perhaps have some
> informative references to various web pages detailing the
> limitations of IEEE 754 doubles.  Then state that any numbers which
> cannot be represented -by JSON implementations that use IEEE 754
> doubles- with sufficient precision/accuracy/fidelity SHOULD NOT
> (MUST NOT?) be sent as JSON numbers.
> 
> Alternatively, find a suitable external, informative reference to
> the limitations of IEEE 754, get permission to copy its text, then
> paste it in.
> 
> Or, if IEEE 754 covers these issues in sufficient detail, then
> just normatively reference IEEE 754 and call it a day.
> 
> If IEEE 754 does not cover these issues in sufficient detail then
> we probably could do with a generic RFC on the matter...
> 
> Nico --
> 

Nico, do you have any concrete suggestions of text?  It would appear
that John Cowan's is very close; what changes would you propose over that?

I've been told off-list that IEEE 754 (which is referenced from RFC
7159, in case we've all forgotten) doesn't cover this topic at all,
and my own superficial review leads me to concur.


- -- 
- - m&m

Matt Miller < mamille2@cisco.com >
Cisco Systems, Inc.
-----BEGIN PGP SIGNATURE-----
Version: GnuPG/MacGPG2 v2.0.22 (Darwin)
Comment: GPGTools - https://gpgtools.org
Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/

iQEcBAEBCgAGBQJThMEYAAoJEDWi+S0W7cO1pC0IALNI/p+UgtYSP94I5XcsWoRm
+m3dUPeOHYcC35DG0RfVx7rapBdPPKjnriCT6KPdRPmc6GDtkBg6HUfLs90e+Sxp
i5S0LIaokCVasiq2U4m9J84uQQgJl+fAFA7YPAs0F8QMnIpqIcq2RTgWqSqdL8xv
OSgERXwyAaVtqfZ0wq1yFx6yVyVDkc9VVnhzb/2jjIHWQWzTlZpfQ4jYIpJ4h/vD
FEzjV5DBRdjIZpJCBMM+Y86n+Nw/aXtcodmPuVcx1aBm/ZIjrNQ2lowXuWVi7lWI
lSPNJxbW3uCgH69gv8nSc3uriyeoOBpUdRhoGEblLXDMttABHXsewxlbZDcNSKQ=
=BA5P
-----END PGP SIGNATURE-----