<div class="gmail_quote">On 1 April 2012 02:09, Andy Goth <span dir="ltr"><<a href="mailto:andrew.m.goth@gmail.com">andrew.m.goth@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

There's some obscene bit twiddling involved.  I hope that's not a problem.  I needed to be able to figure out how many hexadecimal digits are needed to represent a number.<br></blockquote><div><br></div><div>Variable-length numbers are a pain. How about just using a "%03d" format. Much easier to code and much easier for users (eg.properly sorted output from ls).</div>

<div><br></div></div>