packages feed

sbv-8.2: SBVTestSuite/GoldFiles/optFloat2a.gold

Optimal model:
  x     = -1.7976931348623157e308 :: Double
                  6    5          4         3         2         1         0
                  3 21098765432 1098765432109876543210987654321098765432109876543210
                  S ----E11---- ------------------------F52-------------------------
          Binary: 1 11111111110 1111111111111111111111111111111111111111111111111111
             Hex: FFEF FFFF FFFF FFFF
       Precision: DP
            Sign: Negative
        Exponent: 1023 (Stored: 2046, Bias: 1023)
       Hex-float: -0x1.fffffffffffffp1023
           Value: -1.7976931348623157e308 (NORMAL)
  min-x =      0x0010000000000000 :: Word64