diff --git a/language/types.xml b/language/types.xml index e704a5bac7..afdae86c7b 100644 --- a/language/types.xml +++ b/language/types.xml @@ -1,5 +1,5 @@ - + Types @@ -1262,6 +1262,13 @@ $foo = "10.0 pigs " + 1.0; // $foo is float (11) ]]> + + + The decimal point character is defined in the script's + locale (category LC_NUMERIC). + See setlocale. + + For more information on this conversion, see the Unix manual page for strtod(3).