Correctly optimize floating-point numbers in style sheets (see #6674)