Merge "unzip/zipinfo: use float percentages like the RI."