diff --git a/language/types.xml b/language/types.xml index ac4831c84d..7455a1293c 100644 --- a/language/types.xml +++ b/language/types.xml @@ -1,4 +1,4 @@ - + Types @@ -29,7 +29,7 @@ - floating-point number (float) + floating-point number (float) @@ -202,7 +202,7 @@ if ($show_separators) > 0 (zero) - the float + the float 0.0 (zero) @@ -254,7 +254,7 @@ if ($show_separators) See also: Arbitrary precision integers and - Floating point numbers + Floating point numbers @@ -375,7 +375,7 @@ var_dump($large_number); - From <link linkend="language.types.double">floating point numbers</link> + From <link linkend="language.types.float">floating point numbers</link> When converting from float to integer, the number will be rounded towards zero. @@ -441,7 +441,7 @@ echo (int) ( (0.1+0.7) * 10 ); // echoes 7! - + Floating point numbers Floating point numbers (AKA "floats", "doubles" or "real numbers") can be @@ -1910,7 +1910,7 @@ $foo = ( int ) $bar;