Text this: Computer arithmetic and enclosure methods :