0x3ff4dced