Here is our current output:

ubuntu804 [Manu] : gcc -O3 test.c -I $ISE_EIFFEL/studio/spec/linux-x86/include/
ubuntu804 [Manu] : ./a.out 
Negative infinity 32 = 0.000000
Positive infinity 32 = 0.000000
Not a number 32 = 0.000000
Negative infinity 64 = 0.000000
Positive infinity 64 = 0.000000
Not a number 64 = 0.000000