[bscphil]

Given that the context here is talking about terminals, they probably are literally thinking in terms of bitmap based rendering with integer scaling.

[sho_hn]

Right, but most users of terminal emulators typically don't use bitmap fonts anymore and haven't for quite some time (just adding this for general clarity, I'm sure you know it).