fix printing of uint64_T