$z=0x7fffffffffffffff .+ 0x7fffffffffffffff
