Merge branch 'precise_float'

diff --cc NEWS
index d13cab3dd7db3bc6f9546dca8f8d6b9c204649b0,9b6df973299a54509e269441df67458809d1301e..0901acf0e5ad3715126cfa9fac9740a56fa95c8e
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -10,17 -6,10 +10,18 @@@ PH
    . Fixed bug #72476 (Memleak in jit_stack). (Laruence)
    . Fixed bug #72463 (mail fails with invalid argument). (Anatol)
  
 +- SQLite3:
 +  . Fixed bug #70628 (Clearing bindings on an SQLite3 statement doesn't work).
 +    (cmb)
 +
  - Standard:
+   . Implemented RFC: More precise float values. (Jakub Zelenka, Yasuo)
    . array_multisort now uses zend_sort instead zend_qsort. (Laruence)
  
 +- OpenSSL:
 +  . Implemented FR #61204 (Add elliptic curve support for OpenSSL).
 +    (Dominic Luechinger)
 +
  23 Jun 2016, PHP 7.1.0alpha2
  
  - Core: