sbv-8.7: SBVTestSuite/GoldFiles/optExtField3.gold

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