double dintsm(double);