Fix strange rounding errors on Intel platforms