diff --git a/language/types.xml b/language/types.xml
index 542b22c1c2..1a6b15f6b8 100644
--- a/language/types.xml
+++ b/language/types.xml
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="iso-8859-1"?>
-<!-- $Revision: 1.177 $ -->
+<!-- $Revision: 1.178 $ -->
  <chapter id="language.types">
   <title>Types</title>
 
@@ -374,6 +374,9 @@ integer     : [+-]?decimal
       maximum value of about two billion is the usual value 
       (that's 32 bits signed). PHP does not support unsigned
       integers.
+      Integer size can be determined from <constant>PHP_INT_SIZE</constant>,
+      maximum value from <constant>PHP_INT_MAX</constant> since PHP 4.4.0 and
+      PHP 5.0.5.
      </para>
      <warning>
       <para>