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