On 12 August 2015 at 10:18, Giacomo Tesio <giacomo@tesio.it> wrote:

> So, seem that ignoring zeros is simply wrong. A residual from the past...


There doesn't seem to be any justification for it now, whatever the
original problem.
Even if there were something, I'd fix that instead of ignoring the
convention.