An implementation of an algebraically closed interval system of the extended real number set - View it on GitHub