expanded class REAL_64 Ancestors REAL_64_REF Clients AUDIO_SOUND_GENERATOR DATE_TIME DATE_TIME_CODE_STRING DATE_TIME_DURATION DATE_TIME_PARSER DOUBLE_MATH FORMAT_DOUBLE GAME_RENDERER INTEGER_16_REF INTEGER_32_REF INTEGER_64_REF INTEGER_8_REF NATURAL_16_REF NATURAL_32_REF NATURAL_64_REF NATURAL_8_REF PRIMES RANDOM READABLE_STRING_GENERAL* REAL_32_REF REAL_64 REAL_64_REF RT_DBG_EXECUTION_RECORDER SED_SESSION_DESERIALIZER STRING_32 STRING_8 STRING_TO_REAL_CONVERTOR TIME TIME_DURATION TIME_MEASUREMENT* TIME_UTILITY TIME_VALIDITY_CHECKER TIME_VALUE TUPLE Suppliers REAL_64
Generated by ISE EiffelStudio