Try `9223372036854775807 SIZE 8 EQUAL` -- you'll find it passes too. In this script the number is never treated as a bignum, so it never gets range checked.

The correct, most restrictive limit is `0xfffffffe == 0x7fffffff + 0x7fffffff`, but as far as I can tell it doesn't affect consensus code.