Compression shouldn't turn "3.0px" into "3.0".