note
	description: "[
		Floating point numbers based on REAL_64
		With an approximately equal operator,
		see FLOAT_COMPARABLE
	]"
	author: ""
	date: "$Date$"
	revision: "$Revision$"

expanded class 
	FLOAT

inherit
	REAL_64_REF

create 
	default_create,
	make_from_reference,
	make_from_real,
	make_from_integer_32

convert
	make_from_reference ({REAL_64_REF}),
	make_from_real ({REAL_64}),
	make_from_integer_32 ({INTEGER_32}),
	as_real: {REAL_64}

feature 

	make_from_real (r: REAL_64)
		do
			make_from_reference (r)
		end

	make_from_integer_32 (x: INTEGER_32)
		do
			make_from_real (x.to_double)
		end
	
feature -- Equality

	is_approx_equal alias "|~|" (x: FLOAT): FLOAT_COMPARER
		do
			create Result.make (Current, x)
		end
	
feature -- Conversion

	as_real: REAL_64
		do
			Result := item
		end
	
feature -- formatting

	formatted (n: INTEGER_32): STRING_8
		local
			format: FORMAT_DOUBLE
		do
			create format.make (16, n)
			format.no_justify
			Result := format.formatted (Current.as_real)
		end
	
end -- class FLOAT

Generated by ISE EiffelStudio