Re: [PHP-DEV] Inconsistent float to string vs. string to float casting

2018-12-28 Thread Stanislav Malyshev
Hi! > Regarding the decimal separator (aka. decimal point), the behavior of > casting float to string is inconsistent with casting string to float. > While the former regards the current locale, the latter always expects a > decimal point regardless of the locale. This breaks round-trips for >

Re: [PHP-DEV] Inconsistent float to string vs. string to float casting

2018-12-26 Thread Kalle Sommer Nielsen
Den ons. 26. dec. 2018 kl. 16.53 skrev Nikita Popov : > > On Wed, Dec 26, 2018 at 4:48 PM Christoph M. Becker > wrote: > > > Hi! > > > > Regarding the decimal separator (aka. decimal point), the behavior of > > casting float to string is inconsistent with casting string to float. > > While the

Re: [PHP-DEV] Inconsistent float to string vs. string to float casting

2018-12-26 Thread Nikita Popov
On Wed, Dec 26, 2018 at 4:48 PM Christoph M. Becker wrote: > Hi! > > Regarding the decimal separator (aka. decimal point), the behavior of > casting float to string is inconsistent with casting string to float. > While the former regards the current locale, the latter always expects a > decimal

[PHP-DEV] Inconsistent float to string vs. string to float casting

2018-12-26 Thread Christoph M. Becker
Hi! Regarding the decimal separator (aka. decimal point), the behavior of casting float to string is inconsistent with casting string to float. While the former regards the current locale, the latter always expects a decimal point regardless of the locale. This breaks round-trips for locales