- 1.0 == zs(x'41100000') == isb(x'3f800000')
- 0.5 == zs(x'40800000') == isb(x'3f000000')
- x('.4p-4') == zs(x'3f400000') == isb(x'3c800000')
- 0 == zs(x'00000000') == isb(x'00000000')
- zs(x'80000000') == isb(x'80000000')
- -15 == zs(x'c1f00000') == isb(x'c1700000')
-# x('.ffffffp252') == zs(x'7fffffff')
- x('.3b4p8') == zs(x'423b4000')
- x('.1p-256') == zs(x'00100000')
- x('.4p-124') == zs(x'21400000') == isb(x'00800000')
- x('.8p-148') == zs(x'1b800000') == isb(x'00000001')
-# x('.ffffffp128') == zs(x'60ffffff') == isb(x'7f7fffff')
- x('.1p-256') == zs(x'00100000')
- x('.1p-256') => isb(x'00000000') # Underflow to zero.
- x('.ffffffp248') == zs(x'7effffff')
- x('.ffffffp248') => isb(x'7f800000') # Overflow to +Infinity.
+ 1.0 == zs('41100000') == isb('3f800000')
+ 0.5 == zs('40800000') == isb('3f000000')
+ x('.4p-4') == zs('3f400000') == isb('3c800000')
+ 0 == zs('00000000') == isb('00000000')
+ zs('80000000') == isb('80000000')
+ -15 == zs('c1f00000') == isb('c1700000')
+# x('.ffffffp252') == zs('7fffffff')
+ x('.3b4p8') == zs('423b4000')
+ x('.1p-256') == zs('00100000')
+ x('.4p-124') == zs('21400000') == isb('00800000')
+ x('.8p-148') == zs('1b800000') == isb('00000001')
+# x('.ffffffp128') == zs('60ffffff') == isb('7f7fffff')
+ x('.1p-256') == zs('00100000')
+ x('.1p-256') => isb('00000000') # Underflow to zero.
+ x('.ffffffp248') == zs('7effffff')
+ x('.ffffffp248') => isb('7f800000') # Overflow to +Infinity.