sign(x_) := sgn(x);