fix for issue #411: total Supply on the market page is shown with wrong precision