0x2.01p-111110000000000000000000000000000000000000000000000000000000000000000]0001