Decimal font height can be a lifesaver for many typesetter since many typesetters do type in decimal font sizes.