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