Floating Point Arithmetic in Coq

Get the tar file of the development (Coq 6.3.1)