Add number-all-hexes option