sbv-14.4: SBVTestSuite/GoldFiles/arbFp_opt_1.gold

Optimal model:
  s0               = 65504.0 :: FloatingPoint 5 11
  toMetricSpace(x) =   64511 :: Word16
  x                = 65504.0 :: FloatingPoint 5 11