@ShadowWizardChasingStars RE your deleted comment on
meta.stackexchange.com/q/384667/377214 (not sure if you saw it since it was deleted pretty quickly as NLN): another way to think of it is that the font size is a number (e.g., how they're represented in Microsoft Word), and numbers can be lower or higher.