"(Vector).NonZeros" is used for efficient calculation of "Add" and "Dot" between differnet vector types.