0x3ff50bb7