Certified Loose Diamond Comparisons