+1 for trunk (with all necessary documentation and upgrading changes). Huge -1 for 5.3, just in case :)
On Tue, Feb 8, 2011 at 2:26 AM, Gustavo Lopes <glo...@nebm.ist.utl.pt> wrote: > Given this, I propose changing the default precision to 17 (while the > precision is slightly less than 16, a 17th digit is necessary because the > first decimal digit carries little information when it is low). -- Pierre @pierrejoye | http://blog.thepimp.net | http://www.libgd.org -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
