Fixed three long-standing bugs in the debug console's formatted-print routine so numbers print with the right size and column width. Debug/diagnostic output only — no effect on how the machine runs.