The other half of Issue #1580: use short float repr where possible.

Addresses the float -> string conversion, using David Gay's code which
was added in Mark Dickinson's checkin r71663.

Also addresses these, which are intertwined with the short repr
changes:

- Issue #5772: format(1e100, '<') produces '1e+100', not '1.0e+100'
- Issue #5515: 'n' formatting with commas no longer works poorly
    with leading zeros.
- PEP 378 Format Specifier for Thousands Separator: implemented
    for floats.
diff --git a/Misc/NEWS b/Misc/NEWS
index f9c8ada..a471725 100644
--- a/Misc/NEWS
+++ b/Misc/NEWS
@@ -12,6 +12,15 @@
 Core and Builtins
 -----------------
 
+- Issue #5772: format(1e100, '<') produces '1e+100', not '1.0e+100'.
+
+- Issue #5515: str.format() presentation type 'n' with commas no
+  longer works poorly with leading zeros when formatting ints and
+  floats.
+
+- Implement PEP 378, Format Specifier for Thousands Separator, for
+  floats.
+
 - The repr function switches to exponential notation at 1e16, not 1e17
   as it did before.  This change applies to both 'short' and legacy
   float repr styles.  For the new repr style, it avoids misleading