double dintsm(double); .