Add a print-number-in-decimal routine (which nothing uses, yet).