Update arithz.erl