add int32 >>> operator