add procedures add-interval, mul-interval, div-interval