On converting an integer to a character string in C, I'm a little annoyed about including stdio.h – wouldn't that bloat the binary with unnecessary file descriptors and other code? Or are the streams only opened if you use the standard io file descriptors stdout, stdin, or stderr in your code, such as with printf, scanf, fprintf? Maybe it's still ok if my code only uses snprintf(3)?
The closest ready-made solution I have is to cast the integer as a double precision floating point for strfromd(3) with a format string that doesn't print past the decimal point.
There is a good do-it-yourself solution given by bhuwansahni in How to convert integer to string in C?
I do not see how to use (linking didn't work) itoa, _itoa, or _fitoa_word, though _fitoa_word does show up as a function with nm /lib64/libc6.so.6.