DENVector: magnitude