half(i ^ i64)
