- or download this
DB<1> p $]
5.024001
DB<2> p 0x1.999Ap-4
0.100000381469727
- or download this
DB<37> p 0x1999A /16**4 /2**4
0.100000381469727
- or download this
DB<49> eval qq{print 0x1p${_},"\n"} for -4..4
0.0625
...
4
8
16
- or download this
DB<58> x 0x10 , 0x1.0p4 , 0x1.0p0 , 0x10p-4
0 16
1 16
2 1
3 1