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