This has been a long standing issue with European systems. We just need to not rely on the underlying C parsing tools for floating number in our Eiffel parser. I'll try again to see if we can avoid this.