#39703 [NEW]: Division not always returns float

From: arjen at parse dot nl Operating system: Linux PHP version: Irrelevant PHP Bug Type: Documentation problem Bug description: Division not always returns float Description: ------------ http://www.php.net/manual/en/language.operators.arithmetic.php "The division operator ("/") returns a float value anytime, even if the two operands are integers (or strings that get converted to integers)." Anytime like 'always' or 'it might be possible the division operator returns a float, even if the operands are integers'? Reproduce code: --------------- <?php echo gettype(10/2); ?> Expected result: ---------------- float Actual result: -------------- integer -- Edit bug report at http://bugs.php.net/?id=39703&edit=1 -- Try a CVS snapshot (PHP 4.4): http://bugs.php.net/fix.php?id=39703&r=trysnapshot44 Try a CVS snapshot (PHP 5.2): http://bugs.php.net/fix.php?id=39703&r=trysnapshot52 Try a CVS snapshot (PHP 6.0): http://bugs.php.net/fix.php?id=39703&r=trysnapshot60 Fixed in CVS: http://bugs.php.net/fix.php?id=39703&r=fixedcvs Fixed in release: http://bugs.php.net/fix.php?id=39703&r=alreadyfixed Need backtrace: http://bugs.php.net/fix.php?id=39703&r=needtrace Need Reproduce Script: http://bugs.php.net/fix.php?id=39703&r=needscript Try newer version: http://bugs.php.net/fix.php?id=39703&r=oldversion Not developer issue: http://bugs.php.net/fix.php?id=39703&r=support Expected behavior: http://bugs.php.net/fix.php?id=39703&r=notwrong Not enough info: http://bugs.php.net/fix.php?id=39703&r=notenoughinfo Submitted twice: http://bugs.php.net/fix.php?id=39703&r=submittedtwice register_globals: http://bugs.php.net/fix.php?id=39703&r=globals PHP 3 support discontinued: http://bugs.php.net/fix.php?id=39703&r=php3 Daylight Savings: http://bugs.php.net/fix.php?id=39703&r=dst IIS Stability: http://bugs.php.net/fix.php?id=39703&r=isapi Install GNU Sed: http://bugs.php.net/fix.php?id=39703&r=gnused Floating point limitations: http://bugs.php.net/fix.php?id=39703&r=float No Zend Extensions: http://bugs.php.net/fix.php?id=39703&r=nozend MySQL Configuration Error: http://bugs.php.net/fix.php?id=39703&r=mysqlcfg