ddoublex function

The double exponential (Laplace) distribution