unzip/zipinfo: use float percentages like the RI.

Test: my new test runner, specifically developed for ziptool
Change-Id: I1237d02daaf2939eebc4fd5ec19ccdd0de291ad5
1 file changed