[ref_impl_eiffel] [1333] modified exported types from base libraries (INTEGER) but it led to an error during compilation, so cancelled the change.

Revision: 1333
Author: seref.arikan
Log Message: