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

expanded class interface
	FLOAT

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)

	make_from_integer_32 (x: INTEGER_32)
	
feature -- Equality

	is_approx_equal alias "|~|" (x: FLOAT): FLOAT_COMPARER
	
feature -- Conversion

	as_real: REAL_64
	
feature -- formatting

	formatted (n: INTEGER_32): STRING_8
	
end -- class FLOAT

Generated by ISE EiffelStudio