I don't know. I cannot see a valid reason to ever write `sign(z)` where `z` is a polar number. It is consistent with evalf'ing polar numbers of argument pi to negative reals, so let's leave it as is.