0x3ff285bd