Added function to print 64-bit numbers in hex