Actually fix the PHP code...
Clarify the -Infinity check with UnaryExpression