Update c00.arithmetic.awk