Improved sqrt in interval_artih