0x3ff7fc3a