type(1 ^ i64)
