packages feed

sbv-14.4: SBVTestSuite/GoldFiles/optFloat1b.gold

Optimal model:
  x                    = -Infinity :: Float
                  3  2          1         0
                  1 09876543 21098765432109876543210
                  S ---E8--- ----------S23----------
   Binary layout: 1 11111111 00000000000000000000000
      Hex layout: FF80 0000
       Precision: Single
            Sign: Negative
        Exponent: 128 (Stored: 255, Bias: 127)
  Classification: FP_INFINITE
           Value: -Infinity
  toMetricSpace(min-x) =   8388607 :: Word32
                  3 2            1           0
                  1098 7654 3210 9876 5432 1098 7654 3210
   Binary layout: 0000 0000 0111 1111 1111 1111 1111 1111
      Hex layout: 007F FFFF
            Type: Unsigned 32-bit word
          Binary: 0b11111111111111111111111
           Octal: 0o37777777
         Decimal: 8388607
             Hex: 0x7fffff
  min-x                = -Infinity :: Float
                  3  2          1         0
                  1 09876543 21098765432109876543210
                  S ---E8--- ----------S23----------
   Binary layout: 1 11111111 00000000000000000000000
      Hex layout: FF80 0000
       Precision: Single
            Sign: Negative
        Exponent: 128 (Stored: 255, Bias: 127)
  Classification: FP_INFINITE
           Value: -Infinity