Algebraic Functions and Quantitative Reasoning