Fix negative integers in 32-bit PHP