float¶

Checks if the submitted value is a floating point number (aka floats, doubles or real numbers).

Float depends on your config.locale_all setting. For German (config.locale_all = de_DE) one will get the following values (partly) with the PHP function localeconv():

• 'decimal_point' => string '.' Decimal point character
• 'thousands_sep' => string '' Thousands separator
• 'mon_decimal_point' => string ',' Monetary decimal point character
• 'mon_thousands_sep' => string '.' Monetary thousands separator

First both thousands separators are deleted from the float, then the decimal points are replaced by a dot to get a proper float which PHP can handle properly.