What's wrong with decimals in font sizes?