State-Changed-From-To: open-suspended
State-Changed-By: Manu
State-Changed-When: Fri Feb 18 13:13:48 PST 2000
State-Changed-Why:

Dear Randy,

Next release of ISE Eiffel you will get will support INTEGER_64, so
this problem won't occur anymore. However, the support is not yet
complete and the part handling with files have not been updated.