more compact storage of DiracVectors, optimized norm for numeric DiracVectors