For `file_gi' which is not used anymore, the Eiffel equivalent returns 0. Should we return 0.0 for DOUBLE/REAL, or raise an exception?