expanded class
	EXPNDT

inherit
	VECTOR [DOUBLE]

feature -- Access

	x, y, z: INTEGER

end