On 2 October 2013 10:57, Christopher Jones <christopher.jo...@oracle.com> wrote: > On 10/02/2013 10:26 AM, Nikita Popov wrote: >> I'd like to change our double-to-string casting behavior to be >> locale-independent and would appreciate some opinions as to whether you >> consider this feasible. > > I'd like to see float/double casts recognize the locale's decimal > separator.
That's an interesting idea, and arguably one that's more in line with what PHP has been doing. I'd be really interested to hear from people in countries where the decimal separator is a comma, since I don't have any experience with this myself as an Anglophone — do you run PHP in your native locale, and if so, would it be better to always have dots, as Nikita suggests, or support parsing numbers with commas? (Or some combination therein.) Adam -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php