[io] Allow <machine-word> to print as an integer.

This is a temporary workaround similar to what is in place
for <double-integer> until we have better numerics.