If you need to use a raster PNG badge, change the '.svg' to '.png' in the link
BigFraction: Mantissa cannot be zero in subnormal number
Since the value has already been tested against zero any sub-normal
number has a non-zero mantissa.
relevant lines covered
hits per line