platform: support unary - operator for SMIs