cyc_arithmetic.* : style corrections.