Not sure whether int32 is consistent with the rest of the file. For example we use "64-bit integers" at https://github.com/terrafrost/phpseclib/blob/int64-fix/phpseclib/Math/BigInteger.php#L22