Comment by jraph

    $ echo -e '0001\n0010\n0002\n0' | bc
    1
    10
    2
    0