7.5 mm = 0.82 AWG
d(mm) = 0.127 × 92^((36 − AWG) / 39) — the American Wire Gauge geometric progression