class FORMAT_DOUBLE Ancestors DOUBLE_MATH FORMAT_INTEGER Clients FLOAT FORMAT_DOUBLE Suppliers BOOLEAN FORMAT_DOUBLE INTEGER_32 REAL_64 STRING_8
Generated by ISE EiffelStudio