Not the PointWithCoefficients and Interval classes are completely
documented, with only small changes made to the code.