add -oo processing to as_coeff_mul