Better deduction of numeric values