refer unsigned overflow to `negative' mask
redesign VMUDN with carry and overflow/underflow SSE logic