packages feed

sbv-8.1: SBVTestSuite/GoldFiles/optFloat4.gold

Optimal model:
  min-x+y        =    3.0e-45 :: Float
                  3  2          1         0
                  1 09876543 21098765432109876543210
                  S ---E8--- ----------F23----------
          Binary: 0 00000000 00000000000000000000010
             Hex: 0000 0002
       Precision: SP
            Sign: Positive
        Exponent: -126 (Stored: 0, Bias: 126)
       Hex-float: +0x1p-148
           Value: +3.0e-45 (DENORMAL)
  x              =    1.0e-45 :: Float
                  3  2          1         0
                  1 09876543 21098765432109876543210
                  S ---E8--- ----------F23----------
          Binary: 0 00000000 00000000000000000000001
             Hex: 0000 0001
       Precision: SP
            Sign: Positive
        Exponent: -126 (Stored: 0, Bias: 126)
       Hex-float: +0x1p-149
           Value: +1.0e-45 (DENORMAL)
  y              =    1.0e-45 :: Float
                  3  2          1         0
                  1 09876543 21098765432109876543210
                  S ---E8--- ----------F23----------
          Binary: 0 00000000 00000000000000000000001
             Hex: 0000 0001
       Precision: SP
            Sign: Positive
        Exponent: -126 (Stored: 0, Bias: 126)
       Hex-float: +0x1p-149
           Value: +1.0e-45 (DENORMAL)
  metric-min-x+y = 0x80000002 :: Word32