Update c20.arithmetic.pl