Automatic generation produced by ISE Eiffel
expanded class REAL Ancestors REAL_REF Clients BASIC_ROUTINES DOUBLE_REF INTEGER_16_REF INTEGER_64_REF INTEGER_8_REF INTEGER_REF RANDOM REAL_REF SINGLE_MATH STRING -- Generated by ISE Eiffel --
For more details: www.eiffel.com