The doc that Alexander found says that the default in /fp:precise. So even if I were using some C compiler flags (which I don't, apart from those set by EiffelStudio itself), this won't explain why I get the correct behavior. You should rather focus on why you get the wrong behavior.