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>