Ignoring decimal places in coverage metrics