0x3ff86440