indexing
	description: "Basic mathematical constants. This class may be used as ancestor by classes needing its facilities."

class interface
	MATH_CONST

invariant

		-- from GENERAL
	reflexive_equality: standard_is_equal (Current);
	reflexive_conformance: conforms_to (Current);

end -- class MATH_CONST