To expand on that for those that don't know, traditionally all font sizes had names, like Great Primer for 18 pt, Ruby for 5.5 pt, and many others. https://en.wikipedia.org/wiki/Traditional_point-size_names