added more PRIx64 macros