Interval Linear Solving has been modified and working now