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