infnum_print: don't print the leading zeroes