Email Record: Computer arithmetic and formal proofs :