Re: [PHP-DEV] Re: [RFC] [VOTE] Locale-independent float to string cast

2020-05-07 Thread Benjamin Morel
Thank you Mate, this will be a very welcome change, that will naturally fix bugs such as this one , and probably others going unnoticed. Benjamin On Thu, 7 May 2020 at 14:02, Máté Kocsis wrote: > Hi Internals, > > I'm pleased to announce that the Locale-in

[PHP-DEV] Re: [RFC] [VOTE] Locale-independent float to string cast

2020-05-07 Thread Máté Kocsis
Hi Internals, I'm pleased to announce that the Locale-independent float to string cast RFC has been accepted with 41 votes in favour, and 1 vote against. According to the result of the secondary vote, the debug_locale_sensitive_float_casts ini setting won't be introduced. Cheers: Máté Máté Kocsi