0x3ff9c7bf