sbv-8.14: 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