Optimal in an extension field: x_plus_y = 9.0 + (-2.0 * epsilon) :: Real