Title: Computer Arithmetic and Enclosure Methods