Main change: new method in class CSRdouble.