> Why not use string-pixel-width, and divide by what default-font-width
> returns?

Here is the complete tested fix: