sbv-10.11: SBVTestSuite/GoldFiles/arbFp_opt_1.gold

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