Merge "unzip/zipinfo: use float percentages like the RI." am: 08c9ceaef8 am: 4a645c7451
am: e0d20999c3

Change-Id: I281e272fef691ef7447873b68de03518ace3380c