Make DSP.sign distinguish between signed zeros