packages feed

sbv-8.2: SBVTestSuite/GoldFiles/optFloat1a.gold

Optimal model:
  x     = -3.4028235e38 :: Float
                  3  2          1         0
                  1 09876543 21098765432109876543210
                  S ---E8--- ----------F23----------
          Binary: 1 11111110 11111111111111111111111
             Hex: FF7F FFFF
       Precision: SP
            Sign: Negative
        Exponent: 127 (Stored: 254, Bias: 127)
       Hex-float: -0x1.fffffep127
           Value: -3.4028235e38 (NORMAL)
  min-x =    0x00800000 :: Word32