i64 > int(i64)
