Removed deprecated TikZDouble type.