cvs: phpdoc /en/functions gmp.xml

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>