Remove spurious int cast in between two longs
Merge branch 'PHP-5.3' into PHP-5.4

* PHP-5.3:
  Remove spurious int cast in between two longs
Merge branch 'PHP-5.4' into PHP-5.5

* PHP-5.4:
  Remove spurious int cast in between two longs