If you need to use a raster PNG badge, change the '.svg' to '.png' in the link
py: Reduce str/repr precision of float numbers when floats are 30-bit.
With 30-bit floats there aren't enough bits to faithfully print 7 decimal
digits, so reduce the precision to 6 digits.
hits per line
relevant lines covered