The standard mandates that the result of fma is rounded as-if an infinite precision result is computed internally followed by a single correct rounding. There

The standard mandates that the result of fma is rounded as-if an infinite precision result is computed internally followed by a single correct rounding. There isn't any wiggle room.