Use correct 32-bit signed integer type