As I mentioned on the mailing list, for the coefficients, just use `as_real_imag`. We can't assume anything about the coefficients in general. They might be nice rational functions in sqrt(-1), but they could also be crazy things like `sqrt(1 + I)` or `Symbol('a')` or `cos(I + 3)`.