64-bit printing