From d88db0235d195ec11fb9cf9ff495c3fd66aca781 Mon Sep 17 00:00:00 2001 From: Jeroen van Wolffelaar Date: Tue, 14 Aug 2001 22:34:22 +0000 Subject: [PATCH] Change ID: types.double -> types.float git-svn-id: https://svn.php.net/repository/phpdoc/en/trunk@54918 c90b9560-bf6c-de11-be94-00142212c4b1 --- language/types.xml | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) 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;