Fixed printf formatter for uint64_t