Ideally our font interfaces would just support switching between monospace and regular fonts, but that might be quite overkill.

And fwiw, having numbers be the same size doesn't have much of a point if they are not aligned (this is assuming the filling char defaults to ' ').