expanded class REAL_32 Ancestors REAL_32_REF Clients AUDIO_LISTENER AUDIO_SOURCE BASIC_ROUTINES GAME_HAPTIC* GAME_RANDOM GAME_RENDERER GAME_WINDOW* 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
Generated by ISE EiffelStudio