RunDoctestsScript now provides exit codes based on its results.
Implemented Infinity.__sub__().
Improved Infinity.__sub__().