packages feed

sbv-8.2: SBVTestSuite/GoldFiles/optFloat1d.gold

Optimal model:
  x     =   Infinity :: Float
                  3  2          1         0
                  1 09876543 21098765432109876543210
                  S ---E8--- ----------F23----------
          Binary: 0 11111111 00000000000000000000000
             Hex: 7F80 0000
       Precision: SP
            Sign: Positive
        Exponent: 128 (Stored: 255, Bias: 127)
       Hex-float: +Infinity
           Value: +Infinity
  max-y = 0xff800000 :: Word32