Forcing floating point division for % coverage, so we don't show 0%