Fix 64-bit number formatting.