lib/tiny-printf.c: Support numbers bigger than 0xffff and misc updates