expanded class
	FLOAT

General
	cluster: mathmodels
	description: 
		"Floating point numbers based on REAL_64
		With an approximately equal operator,
		see FLOAT_COMPARABLE"
	create: default_create, make_from_reference, make_from_real, make_from_integer_32

Ancestors
	REAL_64_REF

Queries
	abs: REAL_64
	as_real: REAL_64
	ceiling: INTEGER_32
	ceiling_real_64: REAL_64
	divisible (other: REAL_64_REF): BOOLEAN
	Epsilon: REAL_64
	exponentiable (other: NUMERIC): BOOLEAN
	floor: INTEGER_32
	floor_real_64: REAL_64
	formatted (n: INTEGER_32): STRING_8
	hash_code: INTEGER_32
	identity alias "+": [like Current] FLOAT
	is_approx_equal alias "|~|" (x: FLOAT): FLOAT_COMPARER
	is_equal (other: [like Current] FLOAT): BOOLEAN
	is_greater alias ">" (other: [like Current] FLOAT): BOOLEAN
	is_greater_equal alias ">=" (other: [like Current] FLOAT): BOOLEAN
	is_hashable: BOOLEAN
	is_less alias "<" (other: [like Current] FLOAT): BOOLEAN
	is_less_equal alias "<=" (other: [like Current] FLOAT): BOOLEAN
	is_nan: BOOLEAN
	is_negative_infinity: BOOLEAN
	is_positive_infinity: BOOLEAN
	item: REAL_64
	Machine_epsilon: REAL_64
	max (other: [like Current] FLOAT): [like Current] FLOAT
	Max_value: REAL_64
	min (other: [like Current] FLOAT): [like Current] FLOAT
	Min_value: REAL_64
	minus alias "-" (other: [like Current] FLOAT): [like Current] FLOAT
	nan: REAL_64
	negative_infinity: REAL_64
	one: [like Current] FLOAT
	opposite alias "-": [like Current] FLOAT
	out: STRING_8
	plus alias "+" (other: [like Current] FLOAT): [like Current] FLOAT
	positive_infinity: REAL_64
	power alias "^" (other: REAL_64): REAL_64
	product alias "*" (other: [like Current] FLOAT): [like Current] FLOAT
	quotient alias "/" (other: [like Current] FLOAT): [like Current] FLOAT
	rounded: INTEGER_32
	rounded_real_64: REAL_64
	sign: INTEGER_32
	three_way_comparison (other: [like Current] FLOAT): INTEGER_32
	to_reference: REAL_64_REF
	truncated_to_integer: INTEGER_32
	truncated_to_integer_64: INTEGER_64
	truncated_to_real: REAL_32
	zero: [like Current] FLOAT

Commands
	make_from_integer_32 (x: INTEGER_32)
	make_from_real (r: REAL_64)
	set_item (d: REAL_64)


Generated by ISE EiffelStudio