I think the better way is just to use `as_real_imag` on the coefficients, since they could be anything.