Numerical Analysis in Coq