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