Fix Int64.ushr