expanded class
	VALUE

General
	cluster: mathmodels
	description: 
		"Perform arithmetic (+, -, *, /) on real numbers of arbitrary precision.
		In the case of division, the default precision is 35 digits after
		the decimal point. This can be changed via set_division_precision.
		The queries is_integer, is_natural and is_natural1 may be used to
		check that the value is an integer or natural number. 
		out provides a string represesentation rounded to two decimal places, and 
		precise_out is a string representation of the precise value. The corresponding
		C# class was the inspiration for this class."
	create: make_from_string, make, make_from_int, default_create

Ancestors
	COMPARABLE*
	NUMERIC*

Queries
	absolute: VALUE
	add (other: VALUE): VALUE
	as_double: REAL_64
	divide (other: VALUE): VALUE
	divisible (other: VALUE): BOOLEAN
	Epsilon_singleton: VALUE_SINGLETON
	exponentiable (other: NUMERIC): BOOLEAN
	identity alias "+": VALUE
	is_equal (other: VALUE): BOOLEAN
	is_greater alias ">" (other: [like Current] VALUE): BOOLEAN
	is_greater_equal alias ">=" (other: [like Current] VALUE): BOOLEAN
	is_imprecise_equal alias "|~" (other: VALUE): BOOLEAN
	is_imprecise_equal_negation alias "|/~" (other: VALUE): BOOLEAN
	is_imprecise_greater alias "|>" (other: VALUE): BOOLEAN
	is_imprecise_greater_equal alias "|>~" (other: VALUE): BOOLEAN
	is_imprecise_less alias "|<" (other: VALUE): BOOLEAN
	is_imprecise_less_equal alias "|<~" (other: VALUE): BOOLEAN
	is_integer: BOOLEAN
	is_less alias "<" (other: VALUE): BOOLEAN
	is_less_equal alias "<=" (other: [like Current] VALUE): BOOLEAN
	is_natural: BOOLEAN
	is_natural1: BOOLEAN
	max (other: [like Current] VALUE): [like Current] VALUE
	min (other: [like Current] VALUE): [like Current] VALUE
	minus alias "-" (other: VALUE): VALUE
	multiply (other: VALUE): VALUE
	one: VALUE
	opposite alias "-": VALUE
	out: STRING_8
	plus alias "+" (other: VALUE): VALUE
	precise_out: STRING_8
	precise_out_to (digits: INTEGER_32): STRING_8
	product alias "*" (other: VALUE): VALUE
	quotient alias "/" (other: VALUE): VALUE
	round_to (digits: INTEGER_32): VALUE
	subtract (other: VALUE): VALUE
	three_way_comparison (other: [like Current] VALUE): INTEGER_32
	zero: VALUE

Commands
	negate
	round (digits: INTEGER_32)
	set_division_precision (i: INTEGER_32)
	set_epsilon (v: STRING_8)

Constraints

Generated by ISE EiffelStudio