Do not revert to this; it doesn’t work
Replaced way of printing integers. Instead of directly printing them,
it now creates strings of the integer and any necessary punctuation.
Good.