Update c10.arithmetic.pl