0x3ff2dfeb