It's not clear that any limit is still needed, and probably font sizes should be liberalized to reals instead of integers (but I don't want to spend that kind of time right now).