Has to be; a class is defined by the code in its text file. The text files may be examined at SoCS in /opt/Eiffel3/librray/base/kernel by looking at the files
             integer.e, real.e, double.e