@pernici why does the sign get changed?  It seems like we might have something more complicated for complex numbers, like -arg or something.