PHP-1195: Integers are now represented as int32, as long as they fit
Fix 32bit builds
Integer IDs can also be int32