Since PRINT_TYPELESS_INTEGER isn't used.  Might as well delete the doco.

ok?
Andrew