eschmid Wed May 16 22:56:33 2001 EDT
Modified files:
/phpdoc/en/functions gmp.xml
Log:
To make the story short. I deleded that crap.
Index: phpdoc/en/functions/gmp.xml
diff -u phpdoc/en/functions/gmp.xml:1.8 phpdoc/en/functions/gmp.xml:1.9
--- phpdoc/en/functions/gmp.xml:1.8 Wed May 16 08:27:52 2001
+++ phpdoc/en/functions/gmp.xml Wed May 16 22:56:33 2001
@@ -93,9 +93,11 @@
<literal>gmp_init(12378473895798475827348979342)</literal>,
since first the integer-literal will be interpreted,
resulting in an
+<!--
<link linkend="language.types.integer.overflow">overflow</link>
and thus in zero, and then gmp_init is called with that
zero as argument.
+-->
<!-- TODO: wrong, it will be converted to float (type-jug), which
will lead to loss of precision. -->
</para>
