mu_0 lead: 1.255700 vs 1.257 -> 0.1034%
