Fix max signed 32-bit integer