3 ms·That might not always do what a naïve user expects: $ printf '%d\n' "0025" 21by jfk13 8y agoThat might not always do what a naïve user expects: $ printf '%d\n' "0025" 21