0x3ff712ed