From 898d51da4d2db44d71809ee84089877f5c08f3fd Mon Sep 17 00:00:00 2001
From: Ezio Melotti <ezio.melotti@gmail.com>
Date: Mon, 21 May 2012 17:49:06 -0600
Subject: [PATCH] #14875: Use float('inf') instead of float('1e66666') in the
 json module.

---
 Lib/json/encoder.py | 3 +--
 Misc/NEWS           | 2 ++
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/Lib/json/encoder.py b/Lib/json/encoder.py
index 4b214eb60e8..75b7f494b3f 100644
--- a/Lib/json/encoder.py
+++ b/Lib/json/encoder.py
@@ -27,8 +27,7 @@ for i in range(0x20):
     ESCAPE_DCT.setdefault(chr(i), '\\u{0:04x}'.format(i))
     #ESCAPE_DCT.setdefault(chr(i), '\\u%04x' % (i,))
 
-# Assume this produces an infinity on all machines (probably not guaranteed)
-INFINITY = float('1e66666')
+INFINITY = float('inf')
 FLOAT_REPR = repr
 
 def encode_basestring(s):
diff --git a/Misc/NEWS b/Misc/NEWS
index 1540478d9c7..ec5cd9878e4 100644
--- a/Misc/NEWS
+++ b/Misc/NEWS
@@ -67,6 +67,8 @@ Core and Builtins
 Library
 -------
 
+- Issue #14875: Use float('inf') instead of float('1e66666') in the json module.
+
 - Issue #14426: Correct the Date format in Expires attribute of Set-Cookie
   Header in Cookie.py.