Get to Know 3½ Digit ADCs with the ICL71xx