[dfmc,c-back-end] Restore previous integer printing.

This leaves the new code in a comment in the C so that it is easier
on people reading the generated C.

It isn't clear why this failed, but it resulted in failures on
x86_64 due to those targets sometimes hitting the heap size
limit of 2G when going through 'make check'.