Numerical Abstract Interpretation