I'm getting a little confused too.  I have attached the F_code directory
from the test case.  Compiling the code with Sun cc on Solaris x86
produces an executable that works correctly (prints 0).  Compiling the code
with gcc on Linux x86 (with CFLAGS set to "-pipe -march=i686 -D_GNU_SOURCE -m32")
and linking with 

   /home/eiffel/Eiffel13.11.93542/studio/spec/linux-x86/lib/libfinalized.a

(where libfinalized.a is from GPL version) produces an executable that
instead prints -Infinity.

Let me know if this wasn't what you were asking for.