Factorise polynomial with real coefficients using complex roots (#664)