Eiffel directories are described in the introduction to OOPIE. The files are
         /opt/Eiffel3/library/base/kernel/integer.e
         /opt/Eiffel3/library/base/kernel/real.e

Using the Eiffel class libraries, formally define the behaviour of these types of numbers.

From the listing, you can identify all the exported features that define the behaviour of the class; export is covered in week 5.

really suave: run short or flat on the class to get the class interface:
$         short integer, or
$         flat integer
         <exported features are listed>

$         short real, or
$         flat real
         <exported features are listed>

You need an Eiffel executable in the current directory for short or flat to work.