Quantitative Reasoning Involving Approximation