The second one below ... I don't understand it. Shouldn't it be 0xFFFFFFFFFFFFFFFF?
Code:
v:\> echo %@eval[2**64-1]
18446744073709551615
v:\> echo %@eval[2**64-1=x]
0x7FFFFFFFFFFFFFFF
v:\> echo %@eval[0x7FFFFFFFFFFFFFFF]
9223372036854775807