On 64bit platforms with 32bit int, this means we won't have to sign- extend the integer anymore.
Attach a file by drag & drop or click to upload
