Automatic generation produced by ISE Eiffel
expanded class REAL_32 Ancestors REAL_32_REF Clients BASIC_ROUTINES INTEGER_16_REF INTEGER_32_REF INTEGER_64_REF INTEGER_8_REF NATURAL_16_REF NATURAL_32_REF NATURAL_64_REF NATURAL_8_REF RANDOM REAL_32 REAL_32_REF REAL_64_REF SED_SESSION_DESERIALIZER SINGLE_MATH STRING_32 STRING_8 TUPLE Suppliers REAL_32 REAL_32_REF -- Generated by ISE Eiffel --
For more details: www.eiffel.com