pub trait DimNameDiv<D>: DimNamewhere D: DimName,{ type Output: DimName; fn div(self, other: D) -> Self::Output; }