就我猜测
其中p应该是pow,次幂的意思
0x0.1p0 = 0.0625,即十六进制的0.1为十进制的0.0625,0.0625 * 2^0
0x0.1p1 = 0.125,0.0625 * 2^1
。。。
0x0.1p5 = 2,0.0625 * 2^5
0x0.2p5 = 4,2 * 0.0625 * 2^5
0x1p0 = 1, 1 * 2^0
0x1p1 = 2, 1 * 2^1
。。。
0x1p5 = 32, 1 * 2^5
所以
0x1.2p5
= 0x(1 +0.2 ) * 2^5
= 0x1p5 + 0x0.2p5
= 32+4
= 36