Hacker News new | ask | show | jobs
by jfk13 2684 days ago
That might not always do what a naïve user expects:

    $ printf '%d\n' "0025"
    21