Delete ad-int.jl