I was pretty sure there was a more correct way to print UINT64, but I forgot
Now I took a note for next time I need it