tree 6bd12501ac87aa9f21e7824c5ebd9cf763a01b35
parent 4d95656e499e9a416215762e30a8150293fbd671
author Sergei Trofimov <sergei.trofimov@arm.com> 1502895490 +0100
committer Sergei Trofimov <sergei.trofimov@arm.com> 1502895638 +0100

utils/types: numeric expeanded to handle percentages

numeric() conversion function is expanded to handle percentage values in
the form "10.123%". The result is the numeric part converted to a float
and divided by 100, e.g. 0.10123.