I have a value:UInt64 that I want to display as a "0x################". String(format"%x",value) will only accept a 32 bit unsigned int (and is verified by the documentation it references). There is no format specifier to display a 64 bit unsigned in hex format that I can find. What is the correct way to display a 64bit integer in hex format?