im(a_+b_) := im(a_)+im(b_); im(a_-b_) := im(a_)-im(b_); im(a_*b_) := im(a_)*re(b_)+re(a_)*im(b_); im(Complex(a_,b_)):=b; im(pi):=0;