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