From 94c8614d88d01060a64a818c053ebca07f53e45d Mon Sep 17 00:00:00 2001
From: Jakub Vrana <vrana@php.net>
Date: Wed, 21 Nov 2007 17:19:17 +0000
Subject: [PATCH] Float to string conversion may cause E (bug #42432)

git-svn-id: https://svn.php.net/repository/phpdoc/en/trunk@246636 c90b9560-bf6c-de11-be94-00142212c4b1
---
 language/types.xml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/language/types.xml b/language/types.xml
index e03a0c1f03..3c9220124e 100644
--- a/language/types.xml
+++ b/language/types.xml
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="iso-8859-1"?>
-<!-- $Revision: 1.191 $ -->
+<!-- $Revision: 1.192 $ -->
  <chapter xml:id="language.types" xmlns="http://docbook.org/ns/docbook">
   <title>Types</title>
 
@@ -1215,6 +1215,8 @@ $third = $str{2};
      An <type>integer</type> or a floating point number (<type>float</type>) 
      is converted to a string representing the number with its digits
      (including the exponent part for floating point numbers).
+     Floating point numbers can be converted using the exponential notation
+     (<literal>4.1E+6</literal>).
     </para>
     <note>
      <para>