count-leading-zeros: new module