SMS: Computer arithmetic and enclosure methods :