packages feed

sbv-10.9: SBVTestSuite/GoldFiles/optFloat2a.gold

Optimal model:
  x     = -1.7976931348623157e308 :: Double
                  6    5          4         3         2         1         0
                  3 21098765432 1098765432109876543210987654321098765432109876543210
                  S ----E11---- ------------------------S52-------------------------
   Binary layout: 1 11111111110 1111111111111111111111111111111111111111111111111111
      Hex layout: FFEF FFFF FFFF FFFF
       Precision: Double
            Sign: Negative
        Exponent: 1023 (Stored: 2046, Bias: 1023)
  Classification: FP_NORMAL
          Binary: -0b1.1111111111111111111111111111111111111111111111111111p+1023
           Octal: -0o1.777777777777777774p+1023
         Decimal: -1.7976931348623157e308
             Hex: -0xf.ffffffffffff8p+1020
  min-x =        4503599627370496 :: Word64
                  6    5           4            3           2            1           0
                  3210 9876 5432 1098 7654 3210 9876 5432 1098 7654 3210 9876 5432 1098 7654 3210
   Binary layout: 0000 0000 0001 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000 0000
      Hex layout: 0010 0000 0000 0000
            Type: Unsigned 64-bit word
          Binary: 0b10000000000000000000000000000000000000000000000000000
           Octal: 0o200000000000000000
         Decimal: 4503599627370496
             Hex: 0x10000000000000