double sinc(double);