0x3ff4adda