metrics: avoid useless conversions#467

tcoratger merged 1 commit intoleanEthereum:mainleanEthereum/leanSpec:mainfrom

tcoratger:metrics-conversionstcoratger/leanSpec:metrics-conversionsCopy head branch name to clipboard