Как решить проблему с обработкой >32bit чисел в PHP

Столкнулся с тем, что в некоторых версиях PHP неправильно считаются числа больше 32 бит.

Например такой код

Код (Text):

1.  
2. <?php
3. $a = -4738698913;
4. $b = 43814;
5. echo $a ^= $b;
6. echo " / -443704711";
7. ?>

В одном случае показывает правильные числа (т.е. левое равно правому, а в другом неправильные. Кто нить сталкивался стакой проблемой и как решили?