(printf_integer) Fix handling of precision. Improve comments.