don't count_leading_zeros() twice