Moved isthin to interval_arithmetic