MODULE ExtendedVectorComplex = VectorComplex (ExtendedVector, ExtendedComplexVector) END ExtendedVectorComplex.