> Also, `c` should by sympified as far as I can tell, so not obvious what the purpose of `c == int(c)` is    Yes, `c` was generated from `as_coeff_Mul` so it will be sympified. Even I am not sure why the `int` was used.