indexing

	description:
		"References to objects containing a double-precision real number"

	status: "See notice at end of class"
	date: "$Date$"
	revision: "$Revision$"

class REAL_64_REF
feature
	item: DOUBLE
	
	set_item (v: DOUBLE) is
			-- 
		do
		end
	
end