class
	REAL_64_REF

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

Ancestors
	COMPARABLE*
	HASHABLE*
	NUMERIC*

Queries
	abs: REAL_64
	ceiling: INTEGER_32
	ceiling_real_64: REAL_64
	divisible (other: REAL_64_REF): BOOLEAN
	exponentiable (other: NUMERIC): BOOLEAN
	floor: INTEGER_32
	floor_real_64: REAL_64
	hash_code: INTEGER_32
	infix "*" (other: [like Current] REAL_64_REF): [like Current] REAL_64_REF
	infix "+" (other: [like Current] REAL_64_REF): [like Current] REAL_64_REF
	infix "-" (other: [like Current] REAL_64_REF): [like Current] REAL_64_REF
	infix "/" (other: [like Current] REAL_64_REF): [like Current] REAL_64_REF
	infix "<" (other: [like Current] REAL_64_REF): BOOLEAN
	infix "<=" (other: [like Current] REAL_64_REF): BOOLEAN
	infix ">" (other: [like Current] REAL_64_REF): BOOLEAN
	infix ">=" (other: [like Current] REAL_64_REF): BOOLEAN
	infix "^" (other: REAL_64): REAL_64
	is_equal (other: [like Current] REAL_64_REF): BOOLEAN
	is_hashable: BOOLEAN
	item: REAL_64
	max (other: [like Current] REAL_64_REF): [like Current] REAL_64_REF
	min (other: [like Current] REAL_64_REF): [like Current] REAL_64_REF
	one: [like Current] REAL_64_REF
	out: STRING_8
	prefix "+": [like Current] REAL_64_REF
	prefix "-": [like Current] REAL_64_REF
	rounded: INTEGER_32
	rounded_real_64: REAL_64
	sign: INTEGER_32
	three_way_comparison (other: [like Current] REAL_64_REF): 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] REAL_64_REF

Commands
	set_item (d: REAL_64)

Constraints
	sign times abs