Some of the comments on the bug report asking for the operation of == to change are misguided. Such a change would break many real-world applications. As I understand it, PHP is casting number-like strings to integers, and this fails because both numbers generated from the cast are above PHP_MAX_INT, so their values are undefined.

This is easily solved by using the type-checking === operator, which exists for that purpose.

I hesitate to say that this is a feature, not a bug, but it is clear that this is documented behavior.