Does `leading_zeros` make sense, or does it need commenting, @drj11?