Fix Int64.ushr
Merge pull request #3314 from Atry/patch-1

Fix Int64.ushr