"What you see here in this issue is one of the edge cases (how often do you use large numbers in PHP?) where it does not work well." -nikic@php.net
