As discussed in D80801, there's a possible overstep in what is allowed by the 'contract' fast-math-flag.