If you would count this as "overflow/invalid", then presumably every Lua (or C) Code like this also would show some overflow: i= 1 << 65; ... or e. g. i= 1 while i do i= i<<1 ... some code... end ... but this clearly should be valid.