exdiff.jl: (m).