Re: [PHP-DEV] Locale-independent double-to-string cast

2013-10-03 Thread Marc Bennewitz
Am 02.10.2013 20:38, schrieb Adam Harvey: 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

[PHP-DEV] Locale-independent double-to-string cast

2013-10-02 Thread Nikita Popov
Hi internals! 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. So, first off, this is how PHP currently behaves: ?php setlocale(LC_ALL, 'de_DE'); var_dump((string) 3.14); //

Re: [PHP-DEV] Locale-independent double-to-string cast

2013-10-02 Thread Christopher Jones
On 10/02/2013 10:26 AM, Nikita Popov wrote: Hi internals! 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. So, my suggestion is to change the (string) cast to always use . as the

Re: [PHP-DEV] Locale-independent double-to-string cast

2013-10-02 Thread Adam Harvey
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

Re: [PHP-DEV] Locale-independent double-to-string cast

2013-10-02 Thread Nikita Popov
On Wed, Oct 2, 2013 at 7:57 PM, Christopher Jones christopher.jo...@oracle.com wrote: I'd like to see float/double casts recognize the locale's decimal separator. It's perfectly fine in Oracle DB for numbers to be inserted/fetched with , (or any other character) as the decimal separator: