diff --git a/language/types/integer.xml b/language/types/integer.xml
index 158dae9e5b..2b589b89c9 100644
--- a/language/types/integer.xml
+++ b/language/types/integer.xml
@@ -91,11 +91,13 @@ integer     : [+-]?decimal
   <para>
    The size of an <type>integer</type> is platform-dependent, although a maximum
    value of about two billion is the usual value (that's 32 bits signed).
-   64-bit platforms usually have a maximum value of about 9E18, except for
-   Windows, which is always 32 bit. PHP does not support unsigned
-   <type>integer</type>s. <type>Integer</type> size can be determined using
-   the constant <constant>PHP_INT_SIZE</constant>, and maximum value using the
-   constant <constant>PHP_INT_MAX</constant> since PHP 4.4.0 and PHP 5.0.5.
+   64-bit platforms usually have a maximum value of about 9E18, except on
+   Windows prior to PHP 7, where it was always 32 bit. PHP does not support
+   unsigned <type>integer</type>s. <type>Integer</type> size can be determined
+   using the constant <constant>PHP_INT_SIZE</constant>, maximum value using
+   the constant <constant>PHP_INT_MAX</constant> since PHP 4.4.0 and PHP 5.0.5,
+   and minimum value using the constant <constant>PHP_INT_MIN</constant> since
+   PHP 7.0.0.
   </para>
 
   <warning>