ID: 48573 User updated by: josh at mykoala dot com Reported By: josh at mykoala dot com Status: Open Bug Type: Scripting Engine problem Operating System: Mac OS X 10.5.7 PHP Version: 5.2.9 New Comment:
Well, round() produces the desired result -- the large number without any decimals. Adding zero just casts to float, which takes the decimals into consideration, and is the same as: $ php -r 'var_dump((float)"5.6401418785e+05");' float(564014.18785) It's that conversion to int directly that makes Iron Eyes Cody cry. Previous Comments: ------------------------------------------------------------------------ [2009-06-23 19:57:29] sjoerd-php at linuxonly dot nl Thank you for your bug report. A workaround for what you want is adding 0: php -r 'echo 0 + "5.6401418785e+05";' 564014.18785 ------------------------------------------------------------------------ [2009-06-16 19:54:37] josh at mykoala dot com > When an E notated integer When an E notated float* intval() on the string also (predictably) produces the same result as casting to int ------------------------------------------------------------------------ [2009-06-16 19:08:10] josh at mykoala dot com Description: ------------ When an E notated integer is in a string, and you try to cast it to an integer, the value stops at anything non-integer, reducing the ability to cast notated numbers. It does not first check or convert the value to a float to account for E notation. The documentation on type juggling doesn't mention this limitation, and it is not the expected result. Reproduce code: --------------- $ php -r 'var_dump((int)"5.6401418785e+05");' int(5) $ php -r 'var_dump((int)5.6401418785e+05);' int(564014) $ php -r 'var_dump((int)(float)"5.6401418785e+05");' int(564014) ------------------------------------------------------------------------ -- Edit this bug report at http://bugs.php.net/?id=48573&edit=1
