Use correct format for 64bit types