0x1p-2
