Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:103645
To: Umberto Salsi <salsi@icosaedro.it>, internals@lists.php.net
References: <a7761c2f-5716-279b-d701-5f588b856277@gmx.de>
 <php.internals-103642@news.php.net>
 <6740f450-28f0-e6a5-2e9f-bcbecec0f9c7@gmx.de>
Message-ID: <bcd7855a-bf93-df71-56e2-ca0258a1e6cd@gmx.de>
Date: Thu, 27 Dec 2018 19:09:59 +0100
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:60.0) Gecko/20100101
 Thunderbird/60.4.0
MIME-Version: 1.0
In-Reply-To: <6740f450-28f0-e6a5-2e9f-bcbecec0f9c7@gmx.de>
Content-Type: text/plain; charset=utf-8
Content-Language: de-DE
Content-Transfer-Encoding: 8bit
Subject: Re: Inconsistent float to string vs. string to float casting
From: cmbecker69@gmx.de ("Christoph M. Becker")

On 27.12.2018 at 18:57, Christoph M. Becker wrote:

> […] filter_var() with
> FILTER_VALIDATE_FLOAT can also be used, and might be the best option if
> you don't know which decimal separator is used, and you are sure there
> are no thousands separators in the string.

No, that doesn't work, since the 'decimal' separator must be one char.
I've mixed that up with the 'thousand' option available as of PHP 7.3.0.

-- 
Christoph M. Becker