clean up arithmetic.jl